view dev.sh @ 38:8c90e0077cfe default tip

add duplicate window
author Franklin Schmidt <fschmidt@gmail.com>
date Thu, 15 May 2025 11:03:48 -0600
parents b7ff52d45b9a
children
line wrap: on
line source

#!/bin/bash
# for development

EDITOR_HOME=`dirname $0`

export DICTIONARIES=$EDITOR_HOME/dictionaries/

. luan string:
CLASSPATH=$CLASSPATH:$EDITOR_HOME/lib/jortho.jar:$EDITOR_HOME/src

java -Xdock:name="Luan Editor" -classpath $CLASSPATH luan.Luan classpath:luan_editor/editor.luan "$@" 2>&1 | grep --line-buffered -v 'openAndSavePanelService' | tee err