equal
deleted
inserted
replaced
1 #!/bin/bash |
1 #!/bin/bash |
2 # |
2 # |
3 # $Id$ |
3 # $Id$ |
|
4 # Author: Markus Wenzel, TU Muenchen |
|
5 # License: GPL (GNU GENERAL PUBLIC LICENSE) |
4 # |
6 # |
5 # Emacs Isamode interface wrapper. |
7 # Emacs Isamode interface wrapper. |
6 |
8 |
7 |
9 |
8 ## diagnostics |
10 ## diagnostics |
9 |
11 |
10 PRG=$(basename $0) |
12 PRG=$(basename "$0") |
11 |
13 |
12 function usage() |
14 function usage() |
13 { |
15 { |
14 echo |
16 echo |
15 echo "Usage: $PRG [OPTIONS]" |
17 echo "Usage: $PRG [OPTIONS]" |
69 shift $(($OPTIND - 1)) |
71 shift $(($OPTIND - 1)) |
70 |
72 |
71 |
73 |
72 # args |
74 # args |
73 |
75 |
74 [ $# != 0 ] && usage |
76 [ "$#" != 0 ] && usage |
75 |
77 |
76 |
78 |
77 ## main |
79 ## main |
78 |
80 |
79 ARGS="" |
81 ARGS="" |
80 |
82 |
81 [ -n "$MAINGEOM" ] && ARGS="$ARGS -geometry $MAINGEOM" |
83 [ -n "$MAINGEOM" ] && ARGS="$ARGS -geometry $MAINGEOM" |
82 [ "$INITFILE" = false ] && ARGS="$ARGS -q" |
84 [ "$INITFILE" = false ] && ARGS="$ARGS -q" |
83 |
85 |
84 |
86 |
85 ARGS="$ARGS -l $ISAMODE_HOME/elisp/isa-site.el" |
87 ARGS="$ARGS -l \"$ISAMODE_HOME/elisp/isa-site.el\"" |
86 |
88 |
87 for FILE in "$ISABELLE_HOME/etc/isa-settings.el" \ |
89 for FILE in "$ISABELLE_HOME/etc/isa-settings.el" \ |
88 "$ISABELLE_HOME_USER/etc/isa-settings.el" |
90 "$ISABELLE_HOME_USER/etc/isa-settings.el" |
89 do |
91 do |
90 [ -f "$FILE" ] && ARGS="$ARGS -l $FILE" |
92 [ -f "$FILE" ] && ARGS="$ARGS -l \"$FILE\"" |
91 done |
93 done |
92 |
94 |
93 ARGS="$ARGS -f isabelle" |
95 ARGS="$ARGS -f isabelle" |
94 exec $PROGNAME -T "Isabelle" $ARGS |
96 exec $PROGNAME -T "Isabelle" $ARGS |