# 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))