diff options
author | Aaron Fischer | 2023-02-13 17:15:53 +0100 |
---|---|---|
committer | Aaron Fischer | 2023-02-13 17:15:53 +0100 |
commit | 55abfa215231e46a804c2814ae3eec7e48c78710 (patch) | |
tree | e3649efc8b09652236ede7d6b08e310cae09df37 /deviceproperties-editor.sh | |
parent | a9de7ed8875ce51ab3540a37326d3e56ed119312 (diff) | |
download | aur-55abfa215231e46a804c2814ae3eec7e48c78710.tar.gz |
Fix java version issue
Diffstat (limited to 'deviceproperties-editor.sh')
-rwxr-xr-x | deviceproperties-editor.sh | 14 |
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 |