annotate dev.elv @ 82:43e07db3736b

back to bash
author Franklin Schmidt <fschmidt@gmail.com>
date Mon, 23 Jun 2025 04:13:52 -0600
parents a873ccf6d4cd
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
81
Franklin Schmidt <fschmidt@gmail.com>
parents: 80
diff changeset
7 set E:CLASSPATH = $E:CLASSPATH":"$EDITOR_HOME/lib/jortho.jar:$EDITOR_HOME/src
37
b7ff52d45b9a copy from luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 21
diff changeset
8
52
3f4c3722b78b .luan_editor dir
Franklin Schmidt <fschmidt@gmail.com>
parents: 48
diff changeset
9 mkdir -p ~/.luan_editor
3f4c3722b78b .luan_editor dir
Franklin Schmidt <fschmidt@gmail.com>
parents: 48
diff changeset
10
80
b0efa2236f11 elvish work
Franklin Schmidt <fschmidt@gmail.com>
parents: 71
diff changeset
11 var my_grep = {|@a|
b0efa2236f11 elvish work
Franklin Schmidt <fschmidt@gmail.com>
parents: 71
diff changeset
12 try {
b0efa2236f11 elvish work
Franklin Schmidt <fschmidt@gmail.com>
parents: 71
diff changeset
13 grep $@a
81
Franklin Schmidt <fschmidt@gmail.com>
parents: 80
diff changeset
14 } catch e {
Franklin Schmidt <fschmidt@gmail.com>
parents: 80
diff changeset
15 if (not (eq $e[reason][exit-status] 1) ) {
Franklin Schmidt <fschmidt@gmail.com>
parents: 80
diff changeset
16 fail $e
Franklin Schmidt <fschmidt@gmail.com>
parents: 80
diff changeset
17 }
Franklin Schmidt <fschmidt@gmail.com>
parents: 80
diff changeset
18 }
80
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
81
Franklin Schmidt <fschmidt@gmail.com>
parents: 80
diff changeset
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