src/Pure/Tools/phabricator.scala
changeset 71486 74cabc06cf2d
parent 71485 b4401dfd6544
child 71489 5a2033fc8f3d
equal deleted inserted replaced
71485:b4401dfd6544 71486:74cabc06cf2d
   266     Isabelle_System.chmod("755", repo_path)
   266     Isabelle_System.chmod("755", repo_path)
   267 
   267 
   268     config.execute("config set repository.default-local-path " + File.bash_path(repo_path))
   268     config.execute("config set repository.default-local-path " + File.bash_path(repo_path))
   269 
   269 
   270 
   270 
   271     val sudoers_file = Path.explode("/etc/sudoers.d") + Path.basic(isabelle_phabricator_name())
   271     val sudoers_file =
       
   272       Path.explode("/etc/sudoers.d") + Path.basic(isabelle_phabricator_name(name = name))
   272     File.write(sudoers_file,
   273     File.write(sudoers_file,
   273       www_user + " ALL=(" + daemon_user + ") SETENV: NOPASSWD: /usr/bin/git, /usr/bin/hg, /usr/bin/ssh, /usr/bin/id\n" +
   274       www_user + " ALL=(" + daemon_user + ") SETENV: NOPASSWD: /usr/bin/git, /usr/bin/hg, /usr/bin/ssh, /usr/bin/id\n" +
   274       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")
   275       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")
   275 
   276 
   276     Isabelle_System.chmod("440", sudoers_file)
   277     Isabelle_System.chmod("440", sudoers_file)