lib/scripts/isa-emacs
author wenzelm
Tue Apr 22 11:37:12 1997 +0200 (1997-04-22)
changeset 3007 e5efa177ee0c
parent 2968 8ba30b031f31
child 3304 08952002358d
permissions -rwxr-xr-x
removed -norc;
wenzelm@3007
     1
#!/bin/bash
wenzelm@2305
     2
#
wenzelm@2312
     3
# $Id$
wenzelm@2312
     4
#
wenzelm@2939
     5
# GNU Emacs Isamode interface.
wenzelm@2305
     6
wenzelm@2305
     7
wenzelm@2305
     8
## diagnostics
wenzelm@2305
     9
wenzelm@2939
    10
PRG=$(basename $0)
wenzelm@2939
    11
wenzelm@2939
    12
function usage()
wenzelm@2939
    13
{
wenzelm@2939
    14
  echo
wenzelm@2939
    15
  echo "Usage: $PRG [OPTIONS]"
wenzelm@2939
    16
  echo
wenzelm@2939
    17
  echo "  Options are:"
wenzelm@2939
    18
  echo "    -g GEOM      main window geometry (default 80x20)"
wenzelm@2939
    19
  echo
wenzelm@2939
    20
  echo "  Starts GNU Emacs and Isamode."
wenzelm@2939
    21
  echo
wenzelm@2939
    22
  exit 1
wenzelm@2939
    23
}
wenzelm@2939
    24
wenzelm@2305
    25
function fail()
wenzelm@2305
    26
{
wenzelm@2344
    27
  echo "$1" >&2
wenzelm@2305
    28
  exit 2
wenzelm@2305
    29
}
wenzelm@2305
    30
wenzelm@2305
    31
wenzelm@2939
    32
## process command line
wenzelm@2939
    33
wenzelm@2939
    34
# options
wenzelm@2939
    35
wenzelm@2939
    36
MAINGEOM="80x20"
wenzelm@2939
    37
wenzelm@2939
    38
while getopts "g:" OPT
wenzelm@2939
    39
do
wenzelm@2939
    40
  case "$OPT" in
wenzelm@2939
    41
    g)
wenzelm@2939
    42
      MAINGEOM="$OPTARG"
wenzelm@2939
    43
      ;;
wenzelm@2939
    44
    \?)
wenzelm@2939
    45
      usage
wenzelm@2939
    46
      ;;
wenzelm@2939
    47
  esac
wenzelm@2939
    48
done
wenzelm@2939
    49
wenzelm@2939
    50
shift $(($OPTIND - 1))
wenzelm@2939
    51
wenzelm@2939
    52
wenzelm@2939
    53
# args
wenzelm@2939
    54
wenzelm@2939
    55
[ $# != 0 ] && usage
wenzelm@2939
    56
wenzelm@2939
    57
wenzelm@2305
    58
## main
wenzelm@2305
    59
wenzelm@2939
    60
# prepare startup file
wenzelm@2939
    61
wenzelm@2939
    62
STARTUP=/tmp/isa-start$$.el
wenzelm@2939
    63
wenzelm@2939
    64
{
wenzelm@2939
    65
  echo "(load \"$ISAMODE_HOME/elisp/isa-site.el\")"
wenzelm@2939
    66
  echo
wenzelm@2939
    67
wenzelm@2939
    68
  echo "(setq isa-logic-paths"
wenzelm@2939
    69
  echo -n "'("
wenzelm@2968
    70
  for DIR in $(echo $ISABELLE_PATH | tr : " ")
wenzelm@2939
    71
  do
wenzelm@2939
    72
    [ -d $DIR ] && echo "\"$DIR\""
wenzelm@2939
    73
  done
wenzelm@2939
    74
  echo "\"$ISAMODE_HOME/ruletables\"))"
wenzelm@2939
    75
  echo
wenzelm@2939
    76
wenzelm@2939
    77
  DOC=$(echo $ISABELLE_DOCS | cut -f1 -d:)       #first doc dir only
wenzelm@2939
    78
  echo "(setq isa-manual-path \"$DOC\")"
wenzelm@2939
    79
  echo
wenzelm@2474
    80
wenzelm@2947
    81
  for FILE in "$ISABELLE_HOME/etc/isa-settings.el" \
wenzelm@2939
    82
    "$ISABELLE_HOME_USER/etc/isa-settings.el"
wenzelm@2939
    83
  do
wenzelm@2939
    84
    [ -f "$FILE" ] && echo "(load \"$FILE\")"
wenzelm@2939
    85
  done
wenzelm@2939
    86
  echo
wenzelm@2939
    87
wenzelm@2939
    88
  echo "(isabelle)"
wenzelm@2939
    89
} >$STARTUP
wenzelm@2939
    90
wenzelm@2939
    91
wenzelm@2939
    92
# run it!
wenzelm@2939
    93
wenzelm@2939
    94
$ISATOOL installfonts
wenzelm@2939
    95
wenzelm@2939
    96
emacs -name "Isabelle" \
wenzelm@2939
    97
  -fn isabelle14 -geometry $MAINGEOM \
wenzelm@2939
    98
  --no-init-file \
wenzelm@2939
    99
  --load $STARTUP
wenzelm@2939
   100
wenzelm@2939
   101
rm $STARTUP