lib/Tools/getenv

 # $Id$
 #
 # DESCRIPTION: get value from Isabelle settings
 
 
+## diagnostics
+
 PRG=$(basename $0)
 
 function usage()
 {
   echo
-  echo "Usage: $PRG VARNAME"
+  echo "Usage: $PRG [OPTIONS] [VARNAMES ...]"
   echo
-  echo "  Get value of VARNAME from the Isabelle settings."
+  echo "  Options are:"
+  echo "    -a           display complete environment"
+  echo "    -b           print values only (doesn't work for -a)"
+  echo
+  echo "  Get value of VARNAMES from the Isabelle settings."
   echo
   exit 1
 }
 
 
+## process command line
+
+# options
+
+ALL=""
+BASE=""
+
+while getopts "ab" OPT
+do
+  case "$OPT" in
+    a)
+      ALL=true
+      ;;
+    b)
+      BASE=true
+      ;;
+    \?)
+      usage
+      ;;
+  esac
+done
+
+shift $(($OPTIND - 1))
+
+
+# args
+
+[ -n "$ALL" -a $# -ne 0 ] && usage
+
+
 ## main
 
-[ $# -ne 1 ] && usage
-
-eval "echo \$$1"
+if [ -n "$ALL" ]; then
+  env | sort
+else
+  for VAR in $*
+  do
+    if [ -n "$BASE" ]; then
+      eval "echo \$$VAR"
+    else
+      eval "echo $VAR=\$$VAR"
+    fi
+  done
+fi