Allow overriding Docker repository when building docker image
commitc819ae4d8c6aaa3cc9a0ecc2b1a9cd2b6bc05ac5
author3nprob <3nprob@3nprob>
dateMon 5 Apr 2021, 15:51 (6 years ago)
parentba90c5a
manage.sh+1−1
@@ -147,7 +147,7 @@ docker_build() {
147147
148148 # define the docker image name
149149 GITHUB_USER=$(echo "${GIT_URL}" | sed 's/.*github\.com\/\([^\/]*\).*/\1/')
150− SEARX_IMAGE_NAME="${GITHUB_USER:-searx}/searx"
150+ SEARX_IMAGE_NAME="${SEARX_IMAGE_NAME:-${GITHUB_USER:-searx}/searx}"
151151
152152 # build Docker image
153153 echo "Building image ${SEARX_IMAGE_NAME}:${SEARX_GIT_VERSION}"