author | wenzelm |
Thu, 17 Apr 1997 10:30:57 +0200 | |
changeset 2968 | 8ba30b031f31 |
parent 2947 | abca00c27841 |
child 3007 | e5efa177ee0c |
permissions | -rwxr-xr-x |
wenzelm@2344 | 1 |
#!/bin/bash -norc |
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@2474 | 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@2939 | 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 |