clarified options (again);
authorwenzelm
Sat, 17 Apr 2021 19:45:12 +0200
changeset 73845 479e9b17090e
parent 73844 a96de8bbe8a3
child 73846 1aa9ef7a3eaf
clarified options (again);
Admin/init
README_REPOSITORY
--- a/Admin/init	Sat Apr 17 19:37:42 2021 +0200
+++ b/Admin/init	Sat Apr 17 19:45:12 2021 +0200
@@ -32,7 +32,7 @@
   echo "    -f           fresh build of Isabelle/Scala/jEdit"
   echo "    -n           no build of Isabelle/Scala/jEdit"
   echo "    -r REV       version given in Mercurial notation (changeset id or tag)"
-  echo "    -t           version is latest tip"
+  echo "    -u           update to latest tip"
   echo
   echo "  Initialize the current ISABELLE_HOME directory, which needs to be a"
   echo "  repository clone (all versions) or repository archive (fixed version)."
@@ -65,7 +65,7 @@
 VERSION_PATH=""
 VERSION_REV=""
 
-while getopts "CI:LRU:V:cfnr:t" OPT
+while getopts "CI:LRU:V:cfnr:u" OPT
 do
   case "$OPT" in
     C)
@@ -112,7 +112,7 @@
       VERSION_PATH=""
       VERSION_REV="$OPTARG"
       ;;
-    t)
+    u)
       VERSION="true"
       VERSION_RELEASE=""
       VERSION_PATH=""
--- a/README_REPOSITORY	Sat Apr 17 19:37:42 2021 +0200
+++ b/README_REPOSITORY	Sat Apr 17 19:45:12 2021 +0200
@@ -22,11 +22,11 @@
     #latest official release
     isabelle/Admin/init -R
 
-    #latest tip version from repository server
-    isabelle/Admin/init -t
+    #latest version from repository server
+    isabelle/Admin/init -u
 
-    #latest tip version from local history
-    isabelle/Admin/init -t -L
+    #latest version from local history
+    isabelle/Admin/init -u -L
 
     #explicit changeset id or tag (e.g. "Isabelle2021")
     isabelle/Admin/init -r 1d4c9fa00821