view dev.elv @ 82:43e07db3736b default tip

back to bash
author Franklin Schmidt <fschmidt@gmail.com>
date Mon, 23 Jun 2025 04:13:52 -0600
parents a873ccf6d4cd
children
line wrap: on
line source

#!/usr/bin/env elvish

var EDITOR_HOME = (dirname (src)[name])

var DICTIONARIES = $EDITOR_HOME/dictionaries/

set E:CLASSPATH = $E:CLASSPATH":"$EDITOR_HOME/lib/jortho.jar:$EDITOR_HOME/src

mkdir -p ~/.luan_editor

var my_grep = {|@a|
	try {
		grep $@a
	} catch e {
		if (not (eq $e[reason][exit-status] 1) ) {
			fail $e
		}
	}
}

java -Dport=56588 -Ddictionaries=$DICTIONARIES -Xdock:name="Luan Editor dev" luan.Luan classpath:luan_editor/editor.luan (all $args) 2>&1 | $my_grep --line-buffered -v 'NSRemoteView\|NSSavePanel' | tee err