summarylogtreecommitdiffstats
path: root/deviceproperties-editor.sh
diff options
context:
space:
mode:
authorAaron Fischer2023-02-13 17:15:53 +0100
committerAaron Fischer2023-02-13 17:15:53 +0100
commit55abfa215231e46a804c2814ae3eec7e48c78710 (patch)
treee3649efc8b09652236ede7d6b08e310cae09df37 /deviceproperties-editor.sh
parenta9de7ed8875ce51ab3540a37326d3e56ed119312 (diff)
downloadaur-55abfa215231e46a804c2814ae3eec7e48c78710.tar.gz
Fix java version issue
Diffstat (limited to 'deviceproperties-editor.sh')
-rwxr-xr-xdeviceproperties-editor.sh14
1 files changed, 14 insertions, 0 deletions
diff --git a/deviceproperties-editor.sh b/deviceproperties-editor.sh
new file mode 100755
index 000000000000..0f6bc25bc0fd
--- /dev/null
+++ b/deviceproperties-editor.sh
@@ -0,0 +1,14 @@
+#!/usr/bin/env sh
+
+# Check if we have openjdk17 installed
+for version in $(archlinux-java status); do
+ if [[ $version == "java-17-openjdk" ]]; then
+ export PATH="/usr/lib/jvm/java-17-openjdk/bin/:$PATH"
+ cd /opt/DataExplorer
+ ./DevicePropertiesEditor
+ exit 0
+ fi
+done
+
+echo "You do not have java-17-openjdk installed."
+exit 1