Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper support for multiple installations;
authorwenzelm
Thu, 12 Dec 2019 13:55:03 +0100
changeset 71277 74cabc06cf2d
parent 71276 b4401dfd6544
child 71278 197aa6b57a83
proper support for multiple installations;
src/Pure/Tools/phabricator.scala file | annotate | diff | comparison | revisions 
--- 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")
isabelle