From 150e86ea36b6b977c7d44f83255bbd5e742529b9 Mon Sep 17 00:00:00 2001
From: "Lange, Dr. Herbert" <herbert.lange@uni-hamburg.de>
Date: Fri, 5 Aug 2022 18:31:50 +0200
Subject: [PATCH] make linux run script a bit more fancy by respecting
 JAVA_HOME

---
 run-linux.sh | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/run-linux.sh b/run-linux.sh
index a0f92fa..f2db28f 100644
--- a/run-linux.sh
+++ b/run-linux.sh
@@ -1,2 +1,6 @@
 #!/bin/bash
-java -cp lib/corpus-services.jar:lib/corpus-service-gui-1.0-SNAPSHOT-bundle.jar de.uni_hamburg.corpora.gui.GUIApp
+if [[ -z $JAVA_HOME ]]; then
+  java -cp lib/corpus-services.jar:lib/corpus-service-gui-1.0-SNAPSHOT-bundle.jar de.uni_hamburg.corpora.gui.GUIApp
+else
+  $JAVA_HOME/bin/java -cp lib/corpus-services.jar:lib/corpus-service-gui-1.0-SNAPSHOT-bundle.jar de.uni_hamburg.corpora.gui.GUIApp
+fi
\ No newline at end of file
-- 
GitLab