diff --git a/gitlab/functions.sh b/gitlab/functions.sh index cacb02328d874b01ed29374dd21b381f5780b173..62e2c2c1fcfdac581eb26c73afb81b7d976fbd94 100644 --- a/gitlab/functions.sh +++ b/gitlab/functions.sh @@ -373,6 +373,10 @@ check_env CONDA_CHANNEL check_env CONDA_BETA_CHANNEL export_env CONDARC +# Setup default database server +BOB_DATABASE_SERVER="${DOCSERVER}/software/bob/databases/latest" +export_env BOB_DATABASE_SERVER + # Setup default documentation server if [ -z "${CI_COMMIT_TAG}" ]; then DEFSRV="${DOCSERVER}/software/bob/docs/bob/%(name)s/master/"