equal
deleted
inserted
replaced
1 #!/usr/bin/env bash |
1 #!/usr/bin/env bash |
2 # |
2 # |
3 # Isabelle/jEdit interface wrapper |
3 # Isabelle/jEdit interface wrapper |
|
4 |
|
5 set -x |
4 |
6 |
5 ## diagnostics |
7 ## diagnostics |
6 |
8 |
7 usage() |
9 usage() |
8 { |
10 { |
9 echo |
11 echo |
10 echo "Usage: isabelle jedit [OPTIONS] [FILES ...]" |
12 echo "Usage: isabelle jedit [OPTIONS] [FILES ...]" |
11 echo |
13 echo |
12 echo " Options are:" |
14 echo " Options are:" |
13 echo " -J OPTION add JVM runtime option" |
15 echo " -J OPTION add JVM runtime option" |
14 echo " (default JEDIT_JAVE_OPTIONS=$JEDIT_JAVE_OPTIONS)" |
16 echo " (default JEDIT_JAVA_OPTIONS=$JEDIT_JAVA_OPTIONS)" |
15 echo " -j OPTION add jEdit runtime option" |
17 echo " -j OPTION add jEdit runtime option" |
16 echo " (default JEDIT_OPTIONS=$JEDIT_OPTIONS)" |
18 echo " (default JEDIT_OPTIONS=$JEDIT_OPTIONS)" |
17 echo " -l NAME logic image name (default ISABELLE_LOGIC=$ISABELLE_LOGIC)" |
19 echo " -l NAME logic image name (default ISABELLE_LOGIC=$ISABELLE_LOGIC)" |
18 echo " -m MODE add print mode for output" |
20 echo " -m MODE add print mode for output" |
19 echo |
21 echo |
70 FILES="" |
72 FILES="" |
71 if [ "$#" -eq 0 ]; then |
73 if [ "$#" -eq 0 ]; then |
72 FILES="isabelle:$HOME/Scratch.thy" |
74 FILES="isabelle:$HOME/Scratch.thy" |
73 else |
75 else |
74 while [ "$#" -gt 0 ]; do |
76 while [ "$#" -gt 0 ]; do |
75 FILES="$FILES 'isabelle:$1'" |
77 FILES="$FILES isabelle:$1" |
76 shift |
78 shift |
77 done |
79 done |
78 fi |
80 fi |
79 |
81 |
80 |
82 |