Mercurial Hosting > editor
comparison dev.elv @ 80:b0efa2236f11 default tip
elvish work
| author | Franklin Schmidt <fschmidt@gmail.com> |
|---|---|
| date | Sat, 21 Jun 2025 23:36:34 -0600 |
| parents | dev.sh@99ebb6176d2f |
| children |
comparison
equal
deleted
inserted
replaced
| 79:52cd37892cc9 | 80:b0efa2236f11 |
|---|---|
| 1 #!/usr/bin/env elvish | |
| 2 | |
| 3 var EDITOR_HOME = (dirname (src)[name]) | |
| 4 | |
| 5 var DICTIONARIES = $EDITOR_HOME/dictionaries/ | |
| 6 | |
| 7 var CLASSPATH = (bash -c 'source luan string:; echo $CLASSPATH') | |
| 8 set CLASSPATH = $CLASSPATH":"$EDITOR_HOME/lib/jortho.jar:$EDITOR_HOME/src | |
| 9 | |
| 10 mkdir -p ~/.luan_editor | |
| 11 | |
| 12 #set +m | |
| 13 | |
| 14 var my_grep = {|@a| | |
| 15 try { | |
| 16 grep $@a | |
| 17 } catch e { } | |
| 18 } | |
| 19 | |
| 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 |