diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2002-02-12 18:52:01 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2002-02-12 18:52:01 +0000 |
| commit | 37ed716144b0462cf3bc8741d9aaffde79347eaf (patch) | |
| tree | e9cd422d9247f5cfcc95402c70b4793ac9e45ed1 /isar/interface | |
| parent | 72bd3a0e259003fae2469042d4fdd579f75953cf (diff) | |
option -g GEOMETRY;
Diffstat (limited to 'isar/interface')
| -rw-r--r-- | isar/interface | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/isar/interface b/isar/interface index 715f23bf..46c78a58 100644 --- a/isar/interface +++ b/isar/interface @@ -30,6 +30,7 @@ usage() echo " -P BOOL actually start Proof General (default true), otherwise" echo " run plain tty session" echo " -X BOOL configure the X-Symbol package on startup (default true)" + echo " -g GEOMETRY specify Emacs geometry" echo " -k NAME use specific isar-keywords for named logic" echo " -l NAME logic image name (default \$ISABELLE_LOGIC=$ISABELLE_LOGIC)" echo " -m MODE add print mode for output" @@ -59,6 +60,7 @@ fail() ISABELLE_OPTIONS="" START_PG="true" +GEOMETRY="" KEYWORDS="" LOGIC="$ISABELLE_LOGIC" PROGNAME="xemacs" @@ -70,7 +72,7 @@ XSYMBOLSETUP=true getoptions() { OPTIND=1 - while getopts "I:P:X:k:l:m:p:u:w:x:" OPT + while getopts "I:P:X:g:k:l:m:p:u:w:x:" OPT do case "$OPT" in I) @@ -82,6 +84,9 @@ getoptions() X) XSYMBOLSETUP="$OPTARG" ;; + g) + GEOMETRY="$OPTARG" + ;; k) KEYWORDS="$OPTARG" ;; @@ -173,6 +178,8 @@ else ARGS="" + [ -n "$GEOMETRY" ] && ARGS="$ARGS -geometry '$GEOMETRY'" + [ "$INITFILE" = false ] && ARGS="$ARGS -q" if [ "$WINDOWSYSTEM" = true -a -n "$DISPLAY" ]; then |