lib/scripts/isa-emacs
changeset 10512 d34192966cd8
parent 9794 2be239143d42
child 10555 2323ec838401
equal deleted inserted replaced
10511:efb3428c9879 10512:d34192966cd8
     7 # Emacs Isamode interface wrapper.
     7 # Emacs Isamode interface wrapper.
     8 
     8 
     9 
     9 
    10 ## diagnostics
    10 ## diagnostics
    11 
    11 
    12 PRG=$(basename "$0")
    12 PRG="$(basename "$0")"
    13 
    13 
    14 function usage()
    14 function usage()
    15 {
    15 {
    16   echo
    16   echo
    17   echo "Usage: $PRG [OPTIONS]"
    17   echo "Usage: $PRG [OPTIONS]"
    82 
    82 
    83 [ -n "$MAINGEOM" ] && ARGS="$ARGS -geometry $MAINGEOM"
    83 [ -n "$MAINGEOM" ] && ARGS="$ARGS -geometry $MAINGEOM"
    84 [ "$INITFILE" = false ] && ARGS="$ARGS -q"
    84 [ "$INITFILE" = false ] && ARGS="$ARGS -q"
    85 
    85 
    86 
    86 
    87 ARGS="$ARGS -l $ISAMODE_HOME/elisp/isa-site.el"
    87 ARGS="$ARGS -l '$ISAMODE_HOME/elisp/isa-site.el'"
    88 
    88 
    89 for FILE in "$ISABELLE_HOME/etc/isa-settings.el" \
    89 for FILE in "$ISABELLE_HOME/etc/isa-settings.el" \
    90     "$ISABELLE_HOME_USER/etc/isa-settings.el"
    90     "$ISABELLE_HOME_USER/etc/isa-settings.el"
    91 do
    91 do
    92   [ -f "$FILE" ] && ARGS="$ARGS -l $FILE"
    92   [ -f "$FILE" ] && ARGS="$ARGS -l '$FILE'"
    93 done
    93 done
    94 
    94 
    95 ARGS="$ARGS -f isabelle"
    95 ARGS="$ARGS -f isabelle"
    96 exec $PROGNAME -T "Isabelle" $ARGS
    96 eval exec "$PROGNAME" -T "Isabelle" "$ARGS"