view dev.sh @ 71:99ebb6176d2f default tip

better build
author Franklin Schmidt <fschmidt@gmail.com>
date Thu, 12 Jun 2025 17:08:31 -0600 (2 days ago)
parents 1c68552e8ac2
children
line wrap: on
line source
#!/bin/bash
# for development

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