Mercurial Hosting > editor
diff dev.elv @ 81:a873ccf6d4cd
elvish
author | Franklin Schmidt <fschmidt@gmail.com> |
---|---|
date | Mon, 23 Jun 2025 03:45:13 -0600 |
parents | b0efa2236f11 |
children |
line wrap: on
line diff
--- a/dev.elv Sat Jun 21 23:36:34 2025 -0600 +++ b/dev.elv Mon Jun 23 03:45:13 2025 -0600 @@ -4,17 +4,18 @@ var DICTIONARIES = $EDITOR_HOME/dictionaries/ -var CLASSPATH = (bash -c 'source luan string:; echo $CLASSPATH') -set CLASSPATH = $CLASSPATH":"$EDITOR_HOME/lib/jortho.jar:$EDITOR_HOME/src +set E:CLASSPATH = $E:CLASSPATH":"$EDITOR_HOME/lib/jortho.jar:$EDITOR_HOME/src mkdir -p ~/.luan_editor -#set +m - var my_grep = {|@a| try { grep $@a - } catch e { } + } catch e { + if (not (eq $e[reason][exit-status] 1) ) { + fail $e + } + } } -java -Dport=56588 -Ddictionaries=$DICTIONARIES -Xdock:name="Luan Editor dev" -classpath $CLASSPATH luan.Luan classpath:luan_editor/editor.luan (all $args) 2>&1 | $my_grep --line-buffered -v 'NSRemoteView\|NSSavePanel' | tee err +java -Dport=56588 -Ddictionaries=$DICTIONARIES -Xdock:name="Luan Editor dev" luan.Luan classpath:luan_editor/editor.luan (all $args) 2>&1 | $my_grep --line-buffered -v 'NSRemoteView\|NSSavePanel' | tee err