src/Pure/Tools/phabricator.scala
Tue, 23 Jan 2024 21:00:54 +0100 wenzelm more robust: avoid crash on non-Linux systems;
Tue, 23 Jan 2024 20:50:24 +0100 wenzelm clarified webserver names;
Tue, 23 Jan 2024 20:10:40 +0100 wenzelm proper Apache.php_name;
Tue, 23 Jan 2024 19:56:52 +0100 wenzelm proper packages for mercurial_setup on Ubuntu 22.04: building from source provides hgweb modules, and also provides a defined version (6.1.1 is also provided by Ubuntu 22.04);
Tue, 23 Jan 2024 19:39:49 +0100 wenzelm tuned source structure;
Tue, 23 Jan 2024 16:30:29 +0100 wenzelm more robust systemd configuration;
Tue, 23 Jan 2024 15:02:52 +0100 wenzelm more robust nginx configuration, notably for "certbot --nginx -d DOMAIN";
less more (0) -100 -30 -10 -7 tip