Mercurial Hosting > editor
diff dev.sh @ 48:ca5ae0a36db7 default tip
minor
author | Franklin Schmidt <fschmidt@gmail.com> |
---|---|
date | Tue, 20 May 2025 20:16:58 -0600 |
parents | b7ff52d45b9a |
children |
line wrap: on
line diff
--- a/dev.sh Tue May 20 19:07:30 2025 -0600 +++ b/dev.sh Tue May 20 20:16:58 2025 -0600 @@ -8,4 +8,4 @@ . 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 +java -Xdock:name="Luan Editor" -classpath $CLASSPATH luan.Luan classpath:luan_editor/editor.luan "$@" 2>&1 | grep --line-buffered -v 'NSRemoteView\|NSSavePanel' | tee err