From 47b10813c41abef146e9107d9430ee913eb7d57f Mon Sep 17 00:00:00 2001 From: Wouter Deconinck <wdconinc@gmail.com> Date: Tue, 5 Jul 2022 23:09:18 +0000 Subject: [PATCH] Update env.sh: set JUGGLER_DETECTOR_CONFIG to JUGGLER_DETECTOR if unset --- bin/env.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bin/env.sh b/bin/env.sh index 0c90081..7e950e9 100755 --- a/bin/env.sh +++ b/bin/env.sh @@ -48,7 +48,7 @@ if [ ! -n "${JUGGLER_DETECTOR}" ] ; then fi if [ ! -n "${JUGGLER_DETECTOR_CONFIG}" ] ; then - export JUGGLER_DETECTOR_CONFIG="ecce" + export JUGGLER_DETECTOR_CONFIG="${JUGGLER_DETECTOR}" fi if [ ! -n "${JUGGLER_DETECTOR_VERSION}" ] ; then -- GitLab