-x option;
authorwenzelm
Wed Mar 10 17:06:35 1999 +0100 (1999-03-10)
changeset 63449442bc6763f7
parent 6343 97c697a32b73
child 6345 f4a3c3bb3e38
-x option;
lib/scripts/isa-xterm
     1.1 --- a/lib/scripts/isa-xterm	Wed Mar 10 16:31:33 1999 +0100
     1.2 +++ b/lib/scripts/isa-xterm	Wed Mar 10 17:06:35 1999 +0100
     1.3 @@ -19,6 +19,7 @@
     1.4    echo "    -h MODE      highlight mode, may be false, bold (default), color"
     1.5    echo "    -p TEXT      pass text (options etc.) to isabelle session"
     1.6    echo "    -s BOOL      symbolic font output? (default true)"
     1.7 +  echo "    -x PRG       executable program (default xterm)"
     1.8    echo
     1.9    echo "  Starts Isabelle within an xterm window. CMDLINE is passed"
    1.10    echo "  directly to the isabelle session."
    1.11 @@ -41,11 +42,12 @@
    1.12  HILITE=bold
    1.13  PASS=""
    1.14  SYMBOLS="true"
    1.15 +XTERM="xterm"
    1.16  
    1.17  function getoptions()
    1.18  {
    1.19    OPTIND=1
    1.20 -  while getopts "g:h:p:s:" OPT
    1.21 +  while getopts "g:h:p:s:x:" OPT
    1.22    do
    1.23      case "$OPT" in
    1.24        g)
    1.25 @@ -60,6 +62,9 @@
    1.26        s)
    1.27          SYMBOLS="$OPTARG"
    1.28          ;;
    1.29 +      x)
    1.30 +        XTERM="$OPTARG"
    1.31 +        ;;
    1.32        \?)
    1.33          usage
    1.34          ;;
    1.35 @@ -84,10 +89,10 @@
    1.36  fi
    1.37  
    1.38  if [ -z "$SYMBOLS" -o "$SYMBOLS" = false ]; then
    1.39 -  exec xterm -T Isabelle -n Isabelle -geometry "$MAINGEOM" -e $ISABELLE $PASS "$@"
    1.40 +  exec $XTERM -T Isabelle -n Isabelle -geometry "$MAINGEOM" -e $ISABELLE $PASS "$@"
    1.41  else
    1.42    $ISATOOL installfonts
    1.43 -  exec xterm -T Isabelle -n Isabelle -geometry "$MAINGEOM" -fn isabelle14 \
    1.44 +  exec $XTERM -T Isabelle -n Isabelle -geometry "$MAINGEOM" -fn isabelle14 \
    1.45      -xrm "*fontMenu.Label: Isabelle fonts" \
    1.46      -xrm "*fontMenu*font1*Label: Large" \
    1.47      -xrm "*VT100*font1: isabelle24" \