Summary
- clarified Mercurial version: presumably the last version that supports both python2 and python3;
- more robust: avoid crash on non-Linux systems;
- clarified webserver names;
- proper Apache.php_name;
- 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);
- tuned source structure;
- more robust systemd configuration;
- more robust nginx configuration, notably for "certbot --nginx -d DOMAIN";
- tuned whitespace in generated file;
- tuned;
- clarified modules;
The file was modified | src/Pure/Tools/phabricator.scala (diff) |
The file was modified | src/Pure/Tools/phabricator.scala (diff) |
The file was modified | src/Pure/Tools/phabricator.scala (diff) |
The file was modified | src/Pure/Tools/phabricator.scala (diff) |
The file was modified | src/Pure/Tools/phabricator.scala (diff) |
The file was modified | src/Pure/Tools/phabricator.scala (diff) |
The file was modified | src/Pure/Tools/phabricator.scala (diff) |
The file was modified | src/Pure/Tools/phabricator.scala (diff) |
The file was modified | src/Pure/Tools/phabricator.scala (diff) |
The file was modified | src/Pure/Tools/phabricator.scala (diff) |
The file was modified | src/Pure/System/linux.scala (diff) |
The file was modified | src/Pure/Tools/phabricator.scala (diff) |