# HG changeset patch # User wenzelm # Date 1618681512 -7200 # Node ID 479e9b17090e5032f9a665a2cf3c186ba780ba3d # Parent a96de8bbe8a30fd383769dffc81b26e200107c12 clarified options (again); diff -r a96de8bbe8a3 -r 479e9b17090e Admin/init --- 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="" diff -r a96de8bbe8a3 -r 479e9b17090e README_REPOSITORY --- 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