diff options
author | paltherr <paltherr@epfl.ch> | 2004-01-12 10:13:02 +0000 |
---|---|---|
committer | paltherr <paltherr@epfl.ch> | 2004-01-12 10:13:02 +0000 |
commit | 8698d99b934a7982353db3632abfc54d0acb80f3 (patch) | |
tree | ae8a66a34e447c1e909924d81aaf29196718da89 /sources/bin | |
parent | 87cb48043452b19f9af3fb6955150bfdd5b1e97e (diff) | |
download | scala-8698d99b934a7982353db3632abfc54d0acb80f3.tar.gz scala-8698d99b934a7982353db3632abfc54d0acb80f3.tar.bz2 scala-8698d99b934a7982353db3632abfc54d0acb80f3.zip |
- Added option --version to scala-info
Diffstat (limited to 'sources/bin')
-rw-r--r-- | sources/bin/.scala_wrapper.tmpl | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/sources/bin/.scala_wrapper.tmpl b/sources/bin/.scala_wrapper.tmpl index 09442ff2a4..478f2d9bc2 100644 --- a/sources/bin/.scala_wrapper.tmpl +++ b/sources/bin/.scala_wrapper.tmpl @@ -365,6 +365,12 @@ scala_info_option_home() { echo "$PREFIX"; } +# Implements "scala-info --version". +scala_info_option_version() { + [ $# -gt 0 ] && abort "too many arguments"; + echo "$VERSION"; +} + # Implements "scala-info --$1 <variable>" scala_info_option_x_variable() { [ $# -lt 2 ] && abort "missing variable name"; @@ -390,6 +396,7 @@ scala_info_option_help() { echo "usage: $0 <option>"; echo "where possible options include:"; echo " --home Print Scala home directory"; + echo " --version Print Scala version"; echo " --default <variable> Print default value of variable"; echo " --current <variable> Print current value of variable"; echo " -? --help Print this help message"; @@ -413,6 +420,7 @@ scala_info() { case "$1" in --home ) shift 1; scala_info_option_home "$@";; + --version ) shift 1; scala_info_option_version "$@";; --default ) shift 1; scala_info_option_x_variable default "$@";; --current ) shift 1; scala_info_option_x_variable current "$@";; -? | --help ) shift 1; scala_info_option_help "$@";; |