diff dev.sh @ 82:43e07db3736b

back to bash
author Franklin Schmidt <fschmidt@gmail.com>
date Mon, 23 Jun 2025 04:13:52 -0600
parents 99ebb6176d2f
children
line wrap: on
line diff
--- a/dev.sh	Mon Jun 23 03:45:13 2025 -0600
+++ b/dev.sh	Mon Jun 23 04:13:52 2025 -0600
@@ -1,15 +1,14 @@
 #!/bin/bash
 # for development
 
-EDITOR_HOME=`dirname $0`
+EDITOR_HOME=$(dirname $0)
 
 DICTIONARIES="$EDITOR_HOME/dictionaries/"
 
-. luan string:
 CLASSPATH=$CLASSPATH:$EDITOR_HOME/lib/jortho.jar:$EDITOR_HOME/src
 
 mkdir -p ~/.luan_editor
 
 set +m
 
-java -Dport=56588 -Ddictionaries="$DICTIONARIES" -Xdock:name="Luan Editor dev" -classpath $CLASSPATH luan.Luan classpath:luan_editor/editor.luan "$@" 2>&1 | grep --line-buffered -v 'NSRemoteView\|NSSavePanel' | tee err 
+java -Dport=56588 -Ddictionaries="$DICTIONARIES" -Xdock:name="Luan Editor dev" luan.Luan classpath:luan_editor/editor.luan "$@" 2>&1 | grep --line-buffered -v 'NSRemoteView\|NSSavePanel' | tee err