tjh.dev
1--- a/run.sh 2021-06-24 22:30:20.764897745 +0900
2+++ b/run.sh 2021-06-24 22:29:47.211210142 +0900
3@@ -1,12 +1,6 @@
4 #!/usr/bin/env bash
5
6-SOURCE="${BASH_SOURCE[0]}"
7-while [ -h "$SOURCE" ]; do # resolve $SOURCE until the file is no longer a symlink
8- DIR="$( cd -P "$( dirname "$SOURCE" )" && pwd )"
9- SOURCE="$(readlink "$SOURCE")"
10- [[ $SOURCE != /* ]] && SOURCE="$DIR/$SOURCE" # if $SOURCE was a relative symlink, we need to resolve it relative to the path where the symlink file was located
11-done
12-cd "$( cd -P "$( dirname "$SOURCE" )" && pwd )"
13+cd @out@/protege
14
15 java -Xmx500M -Xms200M \
16 -Xss16M \