annotate 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
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
80
b0efa2236f11 elvish work
Franklin Schmidt <fschmidt@gmail.com>
parents: 71
diff changeset
1 #!/usr/bin/env elvish
37
b7ff52d45b9a copy from luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 21
diff changeset
2
80
b0efa2236f11 elvish work
Franklin Schmidt <fschmidt@gmail.com>
parents: 71
diff changeset
3 var EDITOR_HOME = (dirname (src)[name])
37
b7ff52d45b9a copy from luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 21
diff changeset
4
80
b0efa2236f11 elvish work
Franklin Schmidt <fschmidt@gmail.com>
parents: 71
diff changeset
5 var DICTIONARIES = $EDITOR_HOME/dictionaries/
37
b7ff52d45b9a copy from luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 21
diff changeset
6
80
b0efa2236f11 elvish work
Franklin Schmidt <fschmidt@gmail.com>
parents: 71
diff changeset
7 var CLASSPATH = (bash -c 'source luan string:; echo $CLASSPATH')
b0efa2236f11 elvish work
Franklin Schmidt <fschmidt@gmail.com>
parents: 71
diff changeset
8 set CLASSPATH = $CLASSPATH":"$EDITOR_HOME/lib/jortho.jar:$EDITOR_HOME/src
37
b7ff52d45b9a copy from luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 21
diff changeset
9
52
3f4c3722b78b .luan_editor dir
Franklin Schmidt <fschmidt@gmail.com>
parents: 48
diff changeset
10 mkdir -p ~/.luan_editor
3f4c3722b78b .luan_editor dir
Franklin Schmidt <fschmidt@gmail.com>
parents: 48
diff changeset
11
80
b0efa2236f11 elvish work
Franklin Schmidt <fschmidt@gmail.com>
parents: 71
diff changeset
12 #set +m
55
77ee3a37475a paste files
Franklin Schmidt <fschmidt@gmail.com>
parents: 53
diff changeset
13
80
b0efa2236f11 elvish work
Franklin Schmidt <fschmidt@gmail.com>
parents: 71
diff changeset
14 var my_grep = {|@a|
b0efa2236f11 elvish work
Franklin Schmidt <fschmidt@gmail.com>
parents: 71
diff changeset
15 try {
b0efa2236f11 elvish work
Franklin Schmidt <fschmidt@gmail.com>
parents: 71
diff changeset
16 grep $@a
b0efa2236f11 elvish work
Franklin Schmidt <fschmidt@gmail.com>
parents: 71
diff changeset
17 } catch e { }
b0efa2236f11 elvish work
Franklin Schmidt <fschmidt@gmail.com>
parents: 71
diff changeset
18 }
b0efa2236f11 elvish work
Franklin Schmidt <fschmidt@gmail.com>
parents: 71
diff changeset
19
b0efa2236f11 elvish work
Franklin Schmidt <fschmidt@gmail.com>
parents: 71
diff changeset
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