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/Tools/sync.scala
changeset 76134 c6e0a51f2a93
parent 76131 8b695e59db3f
child 76136 1bb677cceea4 
--- a/src/Pure/Tools/sync.scala	Tue Sep 13 10:14:44 2022 +0200
+++ b/src/Pure/Tools/sync.scala	Tue Sep 13 10:34:52 2022 +0200
@@ -101,8 +101,7 @@
     -I NAME      include session heap image and build database
                  (based on accidental local state)
     -J           preserve *.jar files
-    -S           robust (but less portable) treatment of spaces in
-                 file and directory names on the target
+    -P           protect spaces in target file names: more robust, less portable
     -T           thorough treatment of file content and directory times
     -a REV       explicit AFP revision (default: state of working directory)
     -n           no changes: dry-run
@@ -116,7 +115,7 @@
           "H" -> (_ => purge_heaps = true),
           "I:" -> (arg => session_images = session_images ::: List(arg)),
           "J" -> (_ => preserve_jars = true),
-          "S" -> (_ => protect_args = true),
+          "P" -> (_ => protect_args = true),
           "T" -> (_ => thorough = true),
           "a:" -> (arg => afp_rev = arg),
           "n" -> (_ => dry_run = true),
isabelle