Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/System/linux.scala
changeset 71115 3199c08e6413
parent 71114 6cfec8029831
child 71265 6ca561001244 
--- 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)
isabelle