diff dev.sh @ 71:99ebb6176d2f default tip

better build
author Franklin Schmidt <fschmidt@gmail.com>
date Thu, 12 Jun 2025 17:08:31 -0600
parents 1c68552e8ac2
children
line wrap: on
line diff
--- a/dev.sh	Tue Jun 10 22:34:24 2025 -0600
+++ b/dev.sh	Thu Jun 12 17:08:31 2025 -0600
@@ -3,7 +3,7 @@
 
 EDITOR_HOME=`dirname $0`
 
-export DICTIONARIES=$EDITOR_HOME/dictionaries/
+DICTIONARIES="$EDITOR_HOME/dictionaries/"
 
 . luan string:
 CLASSPATH=$CLASSPATH:$EDITOR_HOME/lib/jortho.jar:$EDITOR_HOME/src
@@ -12,4 +12,4 @@
 
 set +m
 
-java -Dport=56588 -Xdock:name="Luan Editor dev" -classpath $CLASSPATH luan.Luan classpath:luan_editor/editor.luan "$@" 2>&1 | grep --line-buffered -v 'NSRemoteView\|NSSavePanel' | tee err 
+java -Dport=56588 -Ddictionaries="$DICTIONARIES" -Xdock:name="Luan Editor dev" -classpath $CLASSPATH luan.Luan classpath:luan_editor/editor.luan "$@" 2>&1 | grep --line-buffered -v 'NSRemoteView\|NSSavePanel' | tee err