proper support for multiple installations;
authorwenzelm
Thu, 12 Dec 2019 13:55:03 +0100
changeset 71486 74cabc06cf2d
parent 71485 b4401dfd6544
child 71487 197aa6b57a83
proper support for multiple installations;
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")