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.
tuned;
authorwenzelm
Thu, 14 Nov 2019 11:36:14 +0100
changeset 71115 3199c08e6413
parent 71114 6cfec8029831
child 71116 aa1338a778c1
tuned;
src/Pure/System/linux.scala file | annotate | diff | comparison | revisions
src/Pure/Tools/phabricator.scala file | annotate | diff | comparison | revisions 
--- 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)
--- 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))
isabelle