view dev.sh @ 88:9d32b7115fd1 default tip

better replace
author Franklin Schmidt <fschmidt@gmail.com>
date Fri, 27 Jun 2025 23:18:08 -0600
parents 43e07db3736b
children
line wrap: on
line source

#!/bin/bash
# for development

EDITOR_HOME=$(dirname $0)

DICTIONARIES="$EDITOR_HOME/dictionaries/"

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" luan.Luan classpath:luan_editor/editor.luan "$@" 2>&1 | grep --line-buffered -v 'NSRemoteView\|NSSavePanel' | tee err