annotate scripts/luan_editor.sh @ 71:99ebb6176d2f default tip

better build
author Franklin Schmidt <fschmidt@gmail.com>
date Thu, 12 Jun 2025 17:08:31 -0600
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
71
99ebb6176d2f better build
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
1 #!/bin/bash
99ebb6176d2f better build
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
2 set -e
99ebb6176d2f better build
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
3
99ebb6176d2f better build
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
4 DICTIONARIES="/Users/fschmidt/hg/editor/build/luan_editor/dictionaries/"
99ebb6176d2f better build
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
5
99ebb6176d2f better build
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
6 for i in "/Users/fschmidt/hg/editor/build/luan_editor"/jars/* ; do CLASSPATH="$CLASSPATH:$i" ; done
99ebb6176d2f better build
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
7 CLASSPATH="$(echo -n "$CLASSPATH" | sed 's/^://')"
99ebb6176d2f better build
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
8
99ebb6176d2f better build
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
9 mkdir -p ~/.luan_editor
99ebb6176d2f better build
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
10
99ebb6176d2f better build
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
11 set +m
99ebb6176d2f better build
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
12
99ebb6176d2f better build
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
13 if [[ "$(uname)" == "Darwin" ]]; then # Mac crap
99ebb6176d2f better build
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
14 function runJava() {
99ebb6176d2f better build
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
15 java -Ddictionaries="$DICTIONARIES" -Xdock:name="Luan Editor" -Duser.home="$HOME" -classpath "$CLASSPATH" luan.Luan classpath:luan_editor/editor.luan "$@" 2>&1 | grep --line-buffered -v 'NSRemoteView\|NSSavePanel' | tee ~/.luan_editor/error.log &
99ebb6176d2f better build
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
16 }
99ebb6176d2f better build
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
17 if [[ $# == 0 ]]; then
99ebb6176d2f better build
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
18 runJava
99ebb6176d2f better build
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
19 else
99ebb6176d2f better build
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
20 for file in "$@"; do
99ebb6176d2f better build
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
21 runJava "$file"
99ebb6176d2f better build
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
22 sleep 0.1
99ebb6176d2f better build
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
23 done
99ebb6176d2f better build
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
24 fi
99ebb6176d2f better build
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
25 else
99ebb6176d2f better build
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
26 java -Duser.home="$HOME" -Ddictionaries="$DICTIONARIES" -classpath "$CLASSPATH" luan.Luan classpath:luan_editor/editor.luan "$@" 2>&1 | tee ~/.luan_editor/error.log &
99ebb6176d2f better build
Franklin Schmidt <fschmidt@gmail.com>
parents:
diff changeset
27 fi