summarylogtreecommitdiffstats
path: root/geogebra
diff options
context:
space:
mode:
authorXiretza2020-01-12 18:16:34 +0100
committerXiretza2020-01-12 18:16:34 +0100
commit064c72ea28d3c0933cfc9b4a3ed8104b2270f6e0 (patch)
treeb32c6eff52be2356d0f1868e576f9e0994797acd /geogebra
parent4658ea2eaeee2eb4ec448e54474c62952ee3ffb1 (diff)
downloadaur-064c72ea28d3c0933cfc9b4a3ed8104b2270f6e0.tar.gz
Pass commandline arguments to ggb in run script
Diffstat (limited to 'geogebra')
-rw-r--r--geogebra6
1 files changed, 3 insertions, 3 deletions
diff --git a/geogebra b/geogebra
index eb41e11a7bdb..82f36b97d15f 100644
--- a/geogebra
+++ b/geogebra
@@ -16,7 +16,7 @@ if test ! -z "${JAVA_HOME}"; then
if test "${JAVA_HOME#*$GG_JAVA_VERSION}" != "${JAVA_HOME}"; then
# system environment variable set to required, do nothing
echo "Using java environment from JAVA_HOME: ${JAVA_HOME}" >&2
- run_gg
+ run_gg "$@"
else
# unset JAVA_HOME
echo "Unset JAVA_HOME for this run: ${JAVA_HOME}" >&2
@@ -28,7 +28,7 @@ fi
if archlinux-java status | grep "default" | grep -q "${GG_JAVA_VERSION}"; then
# required java version is set to default, do nothing
echo "Using system enabled java environment" >&2
- run_gg
+ run_gg "$@"
fi
# find valid environment
@@ -37,4 +37,4 @@ GG_JAVA_ENV="$(archlinux-java status | grep "${GG_JAVA_VERSION}" | awk '{ print
GG_JAVA_ENV="${GG_JAVA_ENV%/*}"
export PATH="/usr/lib/jvm/${GG_JAVA_ENV}/jre/bin/:${PATH}"
echo "Run with exported ${GG_JAVA_ENV}" >&2
-run_gg
+run_gg "$@"