changeset 80:b0efa2236f11 default tip

elvish work
author Franklin Schmidt <fschmidt@gmail.com>
date Sat, 21 Jun 2025 23:36:34 -0600
parents 52cd37892cc9
children
files dev.elv
diffstat 1 files changed, 20 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
diff -r 52cd37892cc9 -r b0efa2236f11 dev.elv
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/dev.elv	Sat Jun 21 23:36:34 2025 -0600
@@ -0,0 +1,20 @@
+#!/usr/bin/env elvish
+
+var EDITOR_HOME = (dirname (src)[name])
+
+var DICTIONARIES = $EDITOR_HOME/dictionaries/
+
+var CLASSPATH = (bash -c 'source luan string:; echo $CLASSPATH')
+set CLASSPATH = $CLASSPATH":"$EDITOR_HOME/lib/jortho.jar:$EDITOR_HOME/src
+
+mkdir -p ~/.luan_editor
+
+#set +m
+
+var my_grep = {|@a|
+	try {
+		grep $@a
+	} catch e { }
+}
+
+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