annotate dev.sh @ 13:2baecd73d6bb

line numbers
author Franklin Schmidt <fschmidt@gmail.com>
date Sat, 05 Apr 2025 08:21:52 -0600
parents a79a840691b1
children 79f060db4d79
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
13
2baecd73d6bb line numbers
Franklin Schmidt <fschmidt@gmail.com>
parents: 3
diff changeset
1 java -Xdock:name="Luan Editor" -classpath $CLASSPATH luan.Luan editor.luan "$@" 2> >(grep --line-buffered -v 'openAndSavePanelService' >&2) 2>&1 | tee err