lib/Tools/getenv
changeset 9788 df671fa2562a
parent 3007 e5efa177ee0c
child 10511 efb3428c9879
     1.1 --- a/lib/Tools/getenv	Fri Sep 01 17:48:31 2000 +0200
     1.2 +++ b/lib/Tools/getenv	Fri Sep 01 17:50:36 2000 +0200
     1.3 @@ -1,13 +1,15 @@
     1.4  #!/bin/bash
     1.5  #
     1.6  # $Id$
     1.7 +# Author: Markus Wenzel, TU Muenchen
     1.8 +# License: GPL (GNU GENERAL PUBLIC LICENSE)
     1.9  #
    1.10  # DESCRIPTION: get values from Isabelle settings environment
    1.11  
    1.12  
    1.13  ## diagnostics
    1.14  
    1.15 -PRG=$(basename $0)
    1.16 +PRG=$(basename "$0")
    1.17  
    1.18  function usage()
    1.19  {
    1.20 @@ -51,7 +53,7 @@
    1.21  
    1.22  # args
    1.23  
    1.24 -[ -n "$ALL" -a $# -ne 0 ] && usage
    1.25 +[ -n "$ALL" -a "$#" -ne 0 ] && usage
    1.26  
    1.27  
    1.28  ## main
    1.29 @@ -59,7 +61,7 @@
    1.30  if [ -n "$ALL" ]; then
    1.31    env | sort
    1.32  else
    1.33 -  for VAR in $*
    1.34 +  for VAR in "$@"
    1.35    do
    1.36      if [ -n "$BASE" ]; then
    1.37        eval "echo \$$VAR"