Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
explicit home path for default file -- more robust;
authorwenzelm
Tue, 21 Oct 2008 22:27:53 +0200
changeset 34336 c9a96ddfceab
parent 34335 4b7609ffdcd1
child 34337 5d5b69f2956b
explicit home path for default file -- more robust; pass -settings=... here, not via Isabelle settings -- more robust;
src/Tools/jEdit/dist-template/interface file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/dist-template/interface	Tue Oct 21 22:00:11 2008 +0200
+++ b/src/Tools/jEdit/dist-template/interface	Tue Oct 21 22:27:53 2008 +0200
@@ -18,7 +18,7 @@
   echo "    -m MODE      add print mode for output"
   echo
   echo "Starts jEdit with Isabelle plugin setup and opens theory FILES"
-  echo "(default Scratch.thy)."
+  echo "(default ~/Scratch.thy)."
   echo
   exit 1
 }
@@ -67,10 +67,10 @@
 
 # args
 
+FILES=""
 if [ "$#" -eq 0 ]; then
-  FILES="isabelle:Scratch.thy"
+  FILES="isabelle:$HOME/Scratch.thy"
 else
-  FILES=""
   while [ "$#" -gt 0 ]; do
     FILES="$FILES 'isabelle:$1'"
     shift
@@ -90,5 +90,5 @@
 
 export JEDIT_LOGIC JEDIT_PRINT_MODE
 
-exec "$ISABELLE_TOOL" java "$JEDIT_JAVA_OPTIONS" \
-  -jar "$JEDIT_HOME/jedit.jar" "$JEDIT_OPTIONS" "$FILES"
+exec "$ISABELLE_TOOL" java $JEDIT_JAVA_OPTIONS \
+  -jar "$JEDIT_HOME/jedit.jar" "-settings=$ISABELLE_HOME_USER/jedit" $JEDIT_OPTIONS $FILES
isabelle