annotate dev.sh @ 82:43e07db3736b default tip

back to bash
author Franklin Schmidt <fschmidt@gmail.com>
date Mon, 23 Jun 2025 04:13:52 -0600
parents 99ebb6176d2f
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
37
b7ff52d45b9a copy from luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 21
diff changeset
1 #!/bin/bash
b7ff52d45b9a copy from luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 21
diff changeset
2 # for development
b7ff52d45b9a copy from luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 21
diff changeset
3
82
43e07db3736b back to bash
Franklin Schmidt <fschmidt@gmail.com>
parents: 71
diff changeset
4 EDITOR_HOME=$(dirname $0)
37
b7ff52d45b9a copy from luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 21
diff changeset
5
71
99ebb6176d2f better build
Franklin Schmidt <fschmidt@gmail.com>
parents: 64
diff changeset
6 DICTIONARIES="$EDITOR_HOME/dictionaries/"
37
b7ff52d45b9a copy from luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 21
diff changeset
7
b7ff52d45b9a copy from luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 21
diff changeset
8 CLASSPATH=$CLASSPATH:$EDITOR_HOME/lib/jortho.jar:$EDITOR_HOME/src
b7ff52d45b9a copy from luan
Franklin Schmidt <fschmidt@gmail.com>
parents: 21
diff changeset
9
52
3f4c3722b78b .luan_editor dir
Franklin Schmidt <fschmidt@gmail.com>
parents: 48
diff changeset
10 mkdir -p ~/.luan_editor
3f4c3722b78b .luan_editor dir
Franklin Schmidt <fschmidt@gmail.com>
parents: 48
diff changeset
11
55
77ee3a37475a paste files
Franklin Schmidt <fschmidt@gmail.com>
parents: 53
diff changeset
12 set +m
77ee3a37475a paste files
Franklin Schmidt <fschmidt@gmail.com>
parents: 53
diff changeset
13
82
43e07db3736b back to bash
Franklin Schmidt <fschmidt@gmail.com>
parents: 71
diff changeset
14 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