From 86e346df2edbaad366d2cee266e6100411dfd657 Mon Sep 17 00:00:00 2001
From: Andre Anjos <andre.dos.anjos@gmail.com>
Date: Tue, 24 Apr 2018 13:58:14 +0200
Subject: [PATCH] Add to existing channels if CONDA_CHANNELS is preset
---
gitlab/functions.sh | 6 +++++-
1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/gitlab/functions.sh b/gitlab/functions.sh
index c43c0eb..68e209f 100644
--- a/gitlab/functions.sh
+++ b/gitlab/functions.sh
@@ -355,7 +355,11 @@ install_miniconda() {
# $2: typically, the value of ${CI_COMMIT_TAG} or empty
# given the current visibility/tagging conditions of the package.
set_conda_channels() {
- CONDA_CHANNELS=() #resets bash array
+ if [ -z "${CONDA_CHANNELS+abc}" ]; then
+ CONDA_CHANNELS=() #sets bash array
+ else
+ log_info "Appending to existing \$\{CONDA_CHANNELS\} setup..."
+ fi
if [ "${1}" == "public" ]; then
if [ -z "${2}" ]; then #public beta build
CONDA_CHANNELS+=('public/conda/label/beta')
--
GitLab