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.
more portable;
authorwenzelm
Thu, 14 Nov 2019 12:42:06 +0100
changeset 71119 30ed6786d775
parent 71118 2bc568573a47
child 71121 8d51418d4ec0
child 71122 730090397e0d
more portable;
src/Pure/System/isabelle_system.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/System/isabelle_system.scala	Thu Nov 14 11:49:54 2019 +0100
+++ b/src/Pure/System/isabelle_system.scala	Thu Nov 14 12:42:06 2019 +0100
@@ -152,10 +152,10 @@
   /* permissions */
 
   def chmod(arg: String, path: Path): Unit =
-    bash("chmod " + Bash.string(arg) + " -- " + File.bash_path(path)).check
+    bash("chmod " + Bash.string(arg) + " " + File.bash_path(path)).check
 
   def chown(arg: String, path: Path): Unit =
-    bash("chown " + Bash.string(arg) + " -- " + File.bash_path(path)).check
+    bash("chown " + Bash.string(arg) + " " + File.bash_path(path)).check
 
 
   /* directories */
isabelle