Slightly better Linux launch script.

crashinvaders · Sep 5, 2023 · 9185358 · 9185358
1 parent 330c540
commit 9185358
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/distribution/files/launcher_linux.sh b/distribution/files/launcher_linux.sh
@@ -8,7 +8,9 @@ if [ ! -x "$(command -v java)" ]; then
 fi
 
 # cd to the installation dir.
-SCRIPT_DIR=$(dirname "$0")
+# A good solution that can withstand symbolic links.
+# https://stackoverflow.com/a/17744637/3802890
+SCRIPT_DIR="$(dirname "$(readlink -f -- "$0")")"
 cd "$SCRIPT_DIR" || exit 1
 
 # Launch the app.