equal
deleted
inserted
replaced
22 echo " (default JEDIT_OPTIONS=$JEDIT_OPTIONS)" |
22 echo " (default JEDIT_OPTIONS=$JEDIT_OPTIONS)" |
23 echo " -l NAME logic image name (default ISABELLE_LOGIC=$ISABELLE_LOGIC)" |
23 echo " -l NAME logic image name (default ISABELLE_LOGIC=$ISABELLE_LOGIC)" |
24 echo " -m MODE add print mode for output" |
24 echo " -m MODE add print mode for output" |
25 echo |
25 echo |
26 echo "Start jEdit with Isabelle plugin setup and opens theory FILES" |
26 echo "Start jEdit with Isabelle plugin setup and opens theory FILES" |
27 echo "(default ~/Scratch.thy)." |
|
28 echo |
27 echo |
29 exit 1 |
28 exit 1 |
30 } |
29 } |
31 |
30 |
32 fail() |
31 fail() |
91 shift $(($OPTIND - 1)) |
90 shift $(($OPTIND - 1)) |
92 |
91 |
93 |
92 |
94 # args |
93 # args |
95 |
94 |
96 if [ "$#" -eq 0 ]; then |
95 while [ "$#" -gt 0 ]; do |
97 ARGS["${#ARGS[@]}"]="Scratch.thy" |
96 ARGS["${#ARGS[@]}"]="$(jvmpath "$1")" |
98 else |
97 shift |
99 while [ "$#" -gt 0 ]; do |
98 done |
100 ARGS["${#ARGS[@]}"]="$(jvmpath "$1")" |
|
101 shift |
|
102 done |
|
103 fi |
|
104 |
99 |
105 |
100 |
106 ## default perspective |
101 ## default perspective |
107 |
102 |
108 mkdir -p "$JEDIT_SETTINGS/DockableWindowManager" |
103 mkdir -p "$JEDIT_SETTINGS/DockableWindowManager" |