equal
deleted
inserted
replaced
13 { |
13 { |
14 echo |
14 echo |
15 echo "Usage: $PRG [OPTIONS]" |
15 echo "Usage: $PRG [OPTIONS]" |
16 echo |
16 echo |
17 echo " Options are:" |
17 echo " Options are:" |
18 # echo " -g GEOM main window geometry (default 80x20)" |
18 echo " -g GEOM main window geometry (default none)" |
19 echo " (currently none)" |
19 echo " -p NAME Emacs program name (default xemacs)" |
|
20 echo " -u BOOL use .emacs file (default false)" |
20 echo |
21 echo |
21 echo "Starts Emacs and Isamode." |
22 echo "Starts Emacs and Isamode." |
22 exit 1 |
23 exit 1 |
23 } |
24 } |
24 |
25 |
31 |
32 |
32 ## process command line |
33 ## process command line |
33 |
34 |
34 # options |
35 # options |
35 |
36 |
36 #MAINGEOM="80x20" |
37 MAINGEOM="" |
|
38 PROGNAME=xemacs |
|
39 INITFILE=false |
37 |
40 |
38 #while getopts "g:" OPT |
41 function getoptions() |
39 #do |
42 { |
40 # case "$OPT" in |
43 OPTIND=1 |
41 # g) |
44 while getopts "g:p:u:" OPT |
42 # MAINGEOM="$OPTARG" |
45 do |
43 # ;; |
46 case "$OPT" in |
44 # \?) |
47 g) |
45 # usage |
48 MAINGEOM="$OPTARG" |
46 # ;; |
49 ;; |
47 # esac |
50 p) |
48 #done |
51 PROGNAME="$OPTARG" |
|
52 ;; |
|
53 u) |
|
54 INITFILE="$OPTARG" |
|
55 ;; |
|
56 \?) |
|
57 usage |
|
58 ;; |
|
59 esac |
|
60 done |
|
61 } |
49 |
62 |
50 #shift $(($OPTIND - 1)) |
63 getoptions $ISAMODE_OPTIONS |
|
64 |
|
65 getoptions "$@" |
|
66 shift $(($OPTIND - 1)) |
51 |
67 |
52 |
68 |
53 # args |
69 # args |
54 |
70 |
55 [ $# != 0 ] && usage |
71 [ $# != 0 ] && usage |
56 |
72 |
57 |
73 |
58 ## main |
74 ## main |
59 |
75 |
60 CMDS="-l $ISAMODE_HOME/elisp/isa-site.el" |
76 ARGS="" |
|
77 |
|
78 [ -n "$MAINGEOM" ] && ARGS="$ARGS -geometry $MAINGEOM" |
|
79 [ "$INITFILE" = false ] && ARGS="$ARGS -q" |
|
80 |
|
81 |
|
82 ARGS="$ARGS -l $ISAMODE_HOME/elisp/isa-site.el" |
61 |
83 |
62 for FILE in "$ISABELLE_HOME/etc/isa-settings.el" \ |
84 for FILE in "$ISABELLE_HOME/etc/isa-settings.el" \ |
63 "$ISABELLE_HOME_USER/etc/isa-settings.el" |
85 "$ISABELLE_HOME_USER/etc/isa-settings.el" |
64 do |
86 do |
65 [ -f "$FILE" ] && CMDS="$CMDS -l $FILE" |
87 [ -f "$FILE" ] && ARGS="$ARGS -l $FILE" |
66 done |
88 done |
67 |
89 |
68 CMDS="$CMDS -f isabelle" |
90 ARGS="$ARGS -f isabelle" |
69 |
91 |
70 |
92 |
71 exec $ISAMODE_EMACS -T "Isabelle" $CMDS |
93 exec $PROGNAME -T "Isabelle" -geometry $MAINGEOM $ARGS |
72 #exec $ISAMODE_EMACS -T "Isabelle" -geometry $MAINGEOM $CMDS |
|