diff options
| author |  Makarius Wenzel <makarius@sketis.net> | 2011-01-27 19:54:20 +0000 |
|---|---|---|
| committer | Makarius Wenzel <makarius@sketis.net> | 2011-01-27 19:54:20 +0000 |
| commit | 6590017aedb5ce046d952fa5a1b9dab1f5bf364d (patch) | |
| tree | fde723c31d0bac63129e9fa7d0139fbe0add24ad /isar | |
| parent | 49151bac191b6088ce6765a3db5448acd2153911 (diff) | |
added option -f FONT;
Diffstat (limited to 'isar')
| -rw-r--r-- | isar/interface | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/isar/interface b/isar/interface index 7df483fa..16d7d567 100644 --- a/isar/interface +++ b/isar/interface @@ -21,6 +21,7 @@ usage() echo " Options are:" echo " -L NAME abbreviates -l NAME -k NAME" echo " -U BOOL enable UTF-8 communication (default true)" + echo " -f FONT specify Emacs font" 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)" @@ -54,6 +55,7 @@ ISABELLE_OPTIONS="" KEYWORDS="" LOGIC="$ISABELLE_LOGIC" UNICODE="" +FONT="" GEOMETRY="" PROGNAME="emacs" INITFILE="true" @@ -63,7 +65,7 @@ UNICODE_SYMBOLS="" getoptions() { OPTIND=1 - while getopts "L:U:g:k:l:m:p:u:w:x:" OPT + while getopts "L:U:f:g:k:l:m:p:u:w:x:" OPT do case "$OPT" in L) @@ -73,6 +75,9 @@ getoptions() U) UNICODE="$OPTARG" ;; + f) + FONT="$OPTARG" + ;; g) GEOMETRY="$OPTARG" ;; @@ -133,6 +138,11 @@ fi declare -a ARGS=() +if [ -n "$FONT" ]; then + ARGS["${#ARGS[@]}"]="-fn" + ARGS["${#ARGS[@]}"]="$FONT" +fi + if [ -n "$GEOMETRY" ]; then ARGS["${#ARGS[@]}"]="-geometry" ARGS["${#ARGS[@]}"]="$GEOMETRY" |