diff luan_editor.sh @ 37:b7ff52d45b9a default tip

copy from luan
author Franklin Schmidt <fschmidt@gmail.com>
date Mon, 21 Apr 2025 13:07:29 -0600
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/luan_editor.sh	Mon Apr 21 13:07:29 2025 -0600
@@ -0,0 +1,12 @@
+#!/bin/bash
+
+EDITOR_HOME=`dirname $0`
+
+export DICTIONARIES=$EDITOR_HOME/dictionaries/
+
+. luan string:
+CLASSPATH=$CLASSPATH:$EDITOR_HOME/lib/jortho.jar:$EDITOR_HOME/src
+
+set +m
+
+java -Xdock:name="Luan Editor" -classpath $CLASSPATH luan.Luan classpath:luan_editor/editor.luan "$@" 2>&1 | grep --line-buffered -v 'openAndSavePanelService' &