prefer mercurial-2.8.2 for more robustness (i.e. the version used by the hosting service https://admin.phacility.com);
authorwenzelm
Fri Jan 10 15:42:13 2020 +0100 (2 months ago)
changeset 71362597059a44d6f
parent 71361 21a41356d78f
child 71363 ce3409dfb18c
prefer mercurial-2.8.2 for more robustness (i.e. the version used by the hosting service https://admin.phacility.com);
src/Doc/System/Phabricator.thy
src/Pure/Tools/phabricator.scala
     1.1 --- a/src/Doc/System/Phabricator.thy	Thu Jan 09 16:01:31 2020 +0100
     1.2 +++ b/src/Doc/System/Phabricator.thy	Fri Jan 10 15:42:13 2020 +0100
     1.3 @@ -419,9 +419,11 @@
     1.4    Option \<^verbatim>\<open>-U\<close> ensures a full update of system packages, before installing
     1.5    further packages required by Phabricator. This might require a reboot.
     1.6  
     1.7 -  Option \<^verbatim>\<open>-M:\<close> installs a standard Mercurial release from source: this works
     1.8 -  better than the package provided by Ubuntu 18.04. Alternatively, an explicit
     1.9 -  file path or URL the source archive (\<^verbatim>\<open>.tar.gz\<close>) may be here. This option is
    1.10 +  Option \<^verbatim>\<open>-M:\<close> installs a standard Mercurial release from source --- the one
    1.11 +  that is used by the Phabricator hosting service
    1.12 +  \<^url>\<open>https://admin.phacility.com\<close>. This avoids various problems with the
    1.13 +  package provided by Ubuntu 18.04. Alternatively, an explicit file path or
    1.14 +  URL the source archive (\<^verbatim>\<open>.tar.gz\<close>) may be given here. This option is
    1.15    recommended for production use, but it requires to \<^emph>\<open>uninstall\<close> existing
    1.16    Mercurial packages provided by the operating system.
    1.17  
     2.1 --- a/src/Pure/Tools/phabricator.scala	Thu Jan 09 16:01:31 2020 +0100
     2.2 +++ b/src/Pure/Tools/phabricator.scala	Fri Jan 10 15:42:13 2020 +0100
     2.3 @@ -63,7 +63,7 @@
     2.4    val alternative_system_port = 222
     2.5    val default_server_port = 2222
     2.6  
     2.7 -  val standard_mercurial_source = "https://www.mercurial-scm.org/release/mercurial-5.2.1.tar.gz"
     2.8 +  val standard_mercurial_source = "https://www.mercurial-scm.org/release/mercurial-2.8.2.tar.gz"
     2.9  
    2.10  
    2.11