From 5ce307db15556e8e3e8876a0e6eddb6ecd674bbd Mon Sep 17 00:00:00 2001
From: Andre Anjos <andre.dos.anjos@gmail.com>
Date: Mon, 19 Feb 2018 11:44:08 +0100
Subject: [PATCH] Set conda channels conditionally
---
gitlab/functions.sh | 9 +++++++--
1 file changed, 7 insertions(+), 2 deletions(-)
diff --git a/gitlab/functions.sh b/gitlab/functions.sh
index 7c4c02a..3aa4a14 100644
--- a/gitlab/functions.sh
+++ b/gitlab/functions.sh
@@ -361,8 +361,13 @@ if [ -z "${DOCSERVER}" ]; then
export_env DOCSERVER
fi
-CONDA_CHANNEL="${DOCSERVER}/public/conda/label/main"
-CONDA_BETA_CHANNEL="${DOCSERVER}/private/conda"
+if [ -z "${CONDA_CHANNEL}" ]; then
+ CONDA_CHANNEL="${DOCSERVER}/public/conda/label/main"
+fi
+
+if [ -z "${CONDA_BETA_CHANNEL}" ]; then
+ CONDA_BETA_CHANNEL="${DOCSERVER}/private/conda"
+fi
# Sets up the location of our rc file for conda
CONDARC=${CONDA_ROOT}/condarc
--
GitLab