17 lines
616 B
Diff
17 lines
616 B
Diff
|
--- a/run.sh 2021-06-24 22:30:20.764897745 +0900
|
||
|
|
+++ b/run.sh 2021-06-24 22:29:47.211210142 +0900
|
||
|
|
@@ -1,12 +1,6 @@
|
||
|
|
#!/usr/bin/env bash
|
||
|
|
|
||
|
|
-SOURCE="${BASH_SOURCE[0]}"
|
||
|
|
-while [ -h "$SOURCE" ]; do # resolve $SOURCE until the file is no longer a symlink
|
||
|
|
- DIR="$( cd -P "$( dirname "$SOURCE" )" && pwd )"
|
||
|
|
- SOURCE="$(readlink "$SOURCE")"
|
||
|
|
- [[ $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
|
||
|
|
-done
|
||
|
|
-cd "$( cd -P "$( dirname "$SOURCE" )" && pwd )"
|
||
|
|
+cd @out@/protege
|
||
|
|
|
||
|
|
java -Xmx500M -Xms200M \
|
||
|
|
-Xss16M \
|