Mercurial Hosting > editor
diff dev.sh @ 37:b7ff52d45b9a default tip
copy from luan
author | Franklin Schmidt <fschmidt@gmail.com> |
---|---|
date | Mon, 21 Apr 2025 13:07:29 -0600 |
parents | 79f060db4d79 |
children |
line wrap: on
line diff
--- a/dev.sh Mon Apr 14 21:17:04 2025 -0600 +++ b/dev.sh Mon Apr 21 13:07:29 2025 -0600 @@ -1,1 +1,11 @@ -java -Xdock:name="Luan Editor" -classpath $CLASSPATH luan.Luan editor.luan "$@" 2>&1 | grep --line-buffered -v 'openAndSavePanelService' | tee err +#!/bin/bash +# for development + +EDITOR_HOME=`dirname $0` + +export DICTIONARIES=$EDITOR_HOME/dictionaries/ + +. luan string: +CLASSPATH=$CLASSPATH:$EDITOR_HOME/lib/jortho.jar:$EDITOR_HOME/src + +java -Xdock:name="Luan Editor" -classpath $CLASSPATH luan.Luan classpath:luan_editor/editor.luan "$@" 2>&1 | grep --line-buffered -v 'openAndSavePanelService' | tee err