comparison dev.elv @ 81:a873ccf6d4cd

elvish
author Franklin Schmidt <fschmidt@gmail.com>
date Mon, 23 Jun 2025 03:45:13 -0600
parents b0efa2236f11
children
comparison
equal deleted inserted replaced
80:b0efa2236f11 81:a873ccf6d4cd
2 2
3 var EDITOR_HOME = (dirname (src)[name]) 3 var EDITOR_HOME = (dirname (src)[name])
4 4
5 var DICTIONARIES = $EDITOR_HOME/dictionaries/ 5 var DICTIONARIES = $EDITOR_HOME/dictionaries/
6 6
7 var CLASSPATH = (bash -c 'source luan string:; echo $CLASSPATH') 7 set E:CLASSPATH = $E:CLASSPATH":"$EDITOR_HOME/lib/jortho.jar:$EDITOR_HOME/src
8 set CLASSPATH = $CLASSPATH":"$EDITOR_HOME/lib/jortho.jar:$EDITOR_HOME/src
9 8
10 mkdir -p ~/.luan_editor 9 mkdir -p ~/.luan_editor
11
12 #set +m
13 10
14 var my_grep = {|@a| 11 var my_grep = {|@a|
15 try { 12 try {
16 grep $@a 13 grep $@a
17 } catch e { } 14 } catch e {
15 if (not (eq $e[reason][exit-status] 1) ) {
16 fail $e
17 }
18 }
18 } 19 }
19 20
20 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 21 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