From 6ca5b74e35108a3f10d391bd437a4838dacfcff9 Mon Sep 17 00:00:00 2001 From: sarahffm Date: Tue, 27 Sep 2022 15:07:57 +0200 Subject: [PATCH] #826: Add version list&set to help --- scripts/src/main/resources/scripts/command/help | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/scripts/src/main/resources/scripts/command/help b/scripts/src/main/resources/scripts/command/help index 3741e846f..e936a5a89 100755 --- a/scripts/src/main/resources/scripts/command/help +++ b/scripts/src/main/resources/scripts/command/help @@ -41,6 +41,12 @@ else echo "Print help for " else doDevonCommand "${1}" help + if [ -f "${DEVON_IDE_HOME}/ide-mirrors/${1}/available-versions" ] + then + echo " version list | set [«v»] list available versions or set a specific version «v»." + fi + echo + echo "Options:" echo " -b | --batch run in non-interactive mode (do not ask any questions)." echo " -q | --quiet be quiet and avoid output." echo " -d | --debug be extra verbose and print more output for debugging."