diff --git a/scripts/Bootstrap/Pmodules/modmanage.in b/scripts/Bootstrap/Pmodules/modmanage.in index 4579575..5168a50 100755 --- a/scripts/Bootstrap/Pmodules/modmanage.in +++ b/scripts/Bootstrap/Pmodules/modmanage.in @@ -142,7 +142,7 @@ subcommand_init() { local target_prefixes=() local user='' local opts='' - opts=$(get_options -o h -l src: -l user: -l help -- "$@") + opts=$(get_options -o h -l src: -l user: -l help -l version: -- "$@") if [[ $? != 0 ]]; then subcommand_help_init exit 1 @@ -158,6 +158,10 @@ subcommand_init() { user=$2 shift ;; + --version ) + PMODULES_VERSION=$2 + shift + ;; -- ) : ;;