lib/Tools/getenv
author wenzelm
Wed Mar 05 17:15:31 1997 +0100 (1997-03-05)
changeset 2734 e9bbef1b2fbe
parent 2733 1d1013313201
child 3007 e5efa177ee0c
permissions -rwxr-xr-x
improved DESCRIPTION;
wenzelm@2335
     1
#!/bin/bash -norc
wenzelm@2296
     2
#
wenzelm@2307
     3
# $Id$
wenzelm@2307
     4
#
wenzelm@2734
     5
# DESCRIPTION: get values from Isabelle settings environment
wenzelm@2307
     6
wenzelm@2296
     7
wenzelm@2733
     8
## diagnostics
wenzelm@2733
     9
wenzelm@2296
    10
PRG=$(basename $0)
wenzelm@2296
    11
wenzelm@2296
    12
function usage()
wenzelm@2296
    13
{
wenzelm@2296
    14
  echo
wenzelm@2733
    15
  echo "Usage: $PRG [OPTIONS] [VARNAMES ...]"
wenzelm@2296
    16
  echo
wenzelm@2733
    17
  echo "  Options are:"
wenzelm@2733
    18
  echo "    -a           display complete environment"
wenzelm@2733
    19
  echo "    -b           print values only (doesn't work for -a)"
wenzelm@2733
    20
  echo
wenzelm@2733
    21
  echo "  Get value of VARNAMES from the Isabelle settings."
wenzelm@2296
    22
  echo
wenzelm@2296
    23
  exit 1
wenzelm@2296
    24
}
wenzelm@2296
    25
wenzelm@2296
    26
wenzelm@2733
    27
## process command line
wenzelm@2733
    28
wenzelm@2733
    29
# options
wenzelm@2733
    30
wenzelm@2733
    31
ALL=""
wenzelm@2733
    32
BASE=""
wenzelm@2733
    33
wenzelm@2733
    34
while getopts "ab" OPT
wenzelm@2733
    35
do
wenzelm@2733
    36
  case "$OPT" in
wenzelm@2733
    37
    a)
wenzelm@2733
    38
      ALL=true
wenzelm@2733
    39
      ;;
wenzelm@2733
    40
    b)
wenzelm@2733
    41
      BASE=true
wenzelm@2733
    42
      ;;
wenzelm@2733
    43
    \?)
wenzelm@2733
    44
      usage
wenzelm@2733
    45
      ;;
wenzelm@2733
    46
  esac
wenzelm@2733
    47
done
wenzelm@2733
    48
wenzelm@2733
    49
shift $(($OPTIND - 1))
wenzelm@2733
    50
wenzelm@2733
    51
wenzelm@2733
    52
# args
wenzelm@2733
    53
wenzelm@2733
    54
[ -n "$ALL" -a $# -ne 0 ] && usage
wenzelm@2733
    55
wenzelm@2733
    56
wenzelm@2296
    57
## main
wenzelm@2296
    58
wenzelm@2733
    59
if [ -n "$ALL" ]; then
wenzelm@2733
    60
  env | sort
wenzelm@2733
    61
else
wenzelm@2733
    62
  for VAR in $*
wenzelm@2733
    63
  do
wenzelm@2733
    64
    if [ -n "$BASE" ]; then
wenzelm@2733
    65
      eval "echo \$$VAR"
wenzelm@2733
    66
    else
wenzelm@2733
    67
      eval "echo $VAR=\$$VAR"
wenzelm@2733
    68
    fi
wenzelm@2733
    69
  done
wenzelm@2733
    70
fi