wenzelm@3007: #!/bin/bash
wenzelm@2305: #
wenzelm@2312: # $Id$
wenzelm@2312: #
wenzelm@2939: # GNU Emacs Isamode interface.
wenzelm@2305: 
wenzelm@2305: 
wenzelm@2305: ## diagnostics
wenzelm@2305: 
wenzelm@2939: PRG=$(basename $0)
wenzelm@2939: 
wenzelm@2939: function usage()
wenzelm@2939: {
wenzelm@2939:   echo
wenzelm@2939:   echo "Usage: $PRG [OPTIONS]"
wenzelm@2939:   echo
wenzelm@2939:   echo "  Options are:"
wenzelm@2939:   echo "    -g GEOM      main window geometry (default 80x20)"
wenzelm@2939:   echo
wenzelm@2939:   echo "  Starts GNU Emacs and Isamode."
wenzelm@2939:   echo
wenzelm@2939:   exit 1
wenzelm@2939: }
wenzelm@2939: 
wenzelm@2305: function fail()
wenzelm@2305: {
wenzelm@2344:   echo "$1" >&2
wenzelm@2305:   exit 2
wenzelm@2305: }
wenzelm@2305: 
wenzelm@2305: 
wenzelm@2939: ## process command line
wenzelm@2939: 
wenzelm@2939: # options
wenzelm@2939: 
wenzelm@2939: MAINGEOM="80x20"
wenzelm@2939: 
wenzelm@2939: while getopts "g:" OPT
wenzelm@2939: do
wenzelm@2939:   case "$OPT" in
wenzelm@2939:     g)
wenzelm@2939:       MAINGEOM="$OPTARG"
wenzelm@2939:       ;;
wenzelm@2939:     \?)
wenzelm@2939:       usage
wenzelm@2939:       ;;
wenzelm@2939:   esac
wenzelm@2939: done
wenzelm@2939: 
wenzelm@2939: shift $(($OPTIND - 1))
wenzelm@2939: 
wenzelm@2939: 
wenzelm@2939: # args
wenzelm@2939: 
wenzelm@2939: [ $# != 0 ] && usage
wenzelm@2939: 
wenzelm@2939: 
wenzelm@2305: ## main
wenzelm@2305: 
wenzelm@2939: # prepare startup file
wenzelm@2939: 
wenzelm@2939: STARTUP=/tmp/isa-start$$.el
wenzelm@2939: 
wenzelm@2939: {
wenzelm@2939:   echo "(load \"$ISAMODE_HOME/elisp/isa-site.el\")"
wenzelm@2939:   echo
wenzelm@2939: 
wenzelm@2939:   echo "(setq isa-logic-paths"
wenzelm@2939:   echo -n "'("
wenzelm@2968:   for DIR in $(echo $ISABELLE_PATH | tr : " ")
wenzelm@2939:   do
wenzelm@2939:     [ -d $DIR ] && echo "\"$DIR\""
wenzelm@2939:   done
wenzelm@2939:   echo "\"$ISAMODE_HOME/ruletables\"))"
wenzelm@2939:   echo
wenzelm@2939: 
wenzelm@2939:   DOC=$(echo $ISABELLE_DOCS | cut -f1 -d:)       #first doc dir only
wenzelm@2939:   echo "(setq isa-manual-path \"$DOC\")"
wenzelm@2939:   echo
wenzelm@2474: 
wenzelm@2947:   for FILE in "$ISABELLE_HOME/etc/isa-settings.el" \
wenzelm@2939:     "$ISABELLE_HOME_USER/etc/isa-settings.el"
wenzelm@2939:   do
wenzelm@2939:     [ -f "$FILE" ] && echo "(load \"$FILE\")"
wenzelm@2939:   done
wenzelm@2939:   echo
wenzelm@2939: 
wenzelm@2939:   echo "(isabelle)"
wenzelm@2939: } >$STARTUP
wenzelm@2939: 
wenzelm@2939: 
wenzelm@2939: # run it!
wenzelm@2939: 
wenzelm@2939: $ISATOOL installfonts
wenzelm@2939: 
wenzelm@2939: emacs -name "Isabelle" \
wenzelm@2939:   -fn isabelle14 -geometry $MAINGEOM \
wenzelm@2939:   --no-init-file \
wenzelm@2939:   --load $STARTUP
wenzelm@2939: 
wenzelm@2939: rm $STARTUP