summaryrefslogtreecommitdiff
path: root/sources/bin/.scala_wrapper.tmpl
diff options
context:
space:
mode:
authorpaltherr <paltherr@epfl.ch>2004-01-12 10:13:02 +0000
committerpaltherr <paltherr@epfl.ch>2004-01-12 10:13:02 +0000
commit8698d99b934a7982353db3632abfc54d0acb80f3 (patch)
treeae8a66a34e447c1e909924d81aaf29196718da89 /sources/bin/.scala_wrapper.tmpl
parent87cb48043452b19f9af3fb6955150bfdd5b1e97e (diff)
downloadscala-8698d99b934a7982353db3632abfc54d0acb80f3.tar.gz
scala-8698d99b934a7982353db3632abfc54d0acb80f3.tar.bz2
scala-8698d99b934a7982353db3632abfc54d0acb80f3.zip
- Added option --version to scala-info
Diffstat (limited to 'sources/bin/.scala_wrapper.tmpl')
-rw-r--r--sources/bin/.scala_wrapper.tmpl8
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 "$@";;