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