# HG changeset patch
# User wenzelm
# Date 1576155303 -3600
# Node ID 74cabc06cf2dd37402a97476a9aab3590765609b
# Parent  b4401dfd65446a68d58aab194f3c53f01fb16079
proper support for multiple installations;

diff -r b4401dfd6544 -r 74cabc06cf2d src/Pure/Tools/phabricator.scala
--- a/src/Pure/Tools/phabricator.scala	Thu Dec 12 11:49:00 2019 +0100
+++ b/src/Pure/Tools/phabricator.scala	Thu Dec 12 13:55:03 2019 +0100
@@ -268,7 +268,8 @@
     config.execute("config set repository.default-local-path " + File.bash_path(repo_path))
 
 
-    val sudoers_file = Path.explode("/etc/sudoers.d") + Path.basic(isabelle_phabricator_name())
+    val sudoers_file =
+      Path.explode("/etc/sudoers.d") + Path.basic(isabelle_phabricator_name(name = name))
     File.write(sudoers_file,
       www_user + " ALL=(" + daemon_user + ") SETENV: NOPASSWD: /usr/bin/git, /usr/bin/hg, /usr/bin/ssh, /usr/bin/id\n" +
       name + " ALL=(" + daemon_user + ") SETENV: NOPASSWD: /usr/bin/git, /usr/bin/git-upload-pack, /usr/bin/git-receive-pack, /usr/bin/hg, /usr/bin/svnserve, /usr/bin/ssh, /usr/bin/id\n")