# HG changeset patch # User wenzelm # Date 1573727774 -3600 # Node ID 3199c08e641317386d2bbb4df295347fc30949a1 # Parent 6cfec802983136502d4b080efd3ff6cce2ecf1b0 tuned; diff -r 6cfec8029831 -r 3199c08e6413 src/Pure/System/linux.scala --- a/src/Pure/System/linux.scala Thu Nov 14 11:35:02 2019 +0100 +++ b/src/Pure/System/linux.scala Thu Nov 14 11:36:14 2019 +0100 @@ -133,7 +133,7 @@ val service_file = Path.explode("/lib/systemd/system") + Path.basic(name).ext("service") File.write(service_file, spec) - Isabelle_System.chmod("0644", service_file) + Isabelle_System.chmod("644", service_file) service_enable(name) service_restart(name) diff -r 6cfec8029831 -r 3199c08e6413 src/Pure/Tools/phabricator.scala --- a/src/Pure/Tools/phabricator.scala Thu Nov 14 11:35:02 2019 +0100 +++ b/src/Pure/Tools/phabricator.scala Thu Nov 14 11:36:14 2019 +0100 @@ -242,7 +242,7 @@ 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_System.chmod("0440", sudoers_file) + Isabelle_System.chmod("440", sudoers_file) config.execute("config set diffusion.ssh-user " + Bash.string(config.name))