Mercurial Hosting > editor
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