summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNoémi Ványi <kvch@users.noreply.github.com>2021-04-05 20:48:24 +0200
committerGitHub <noreply@github.com>2021-04-05 20:48:24 +0200
commitb40af000f38bac645c911b2d140f0e551c8c5da1 (patch)
treef85c4af953f4489509f6c180461672efba68bb9b
parent736d0656bb3dc932cb35c782d9318a7de47a5fe6 (diff)
parentc819ae4d8c6aaa3cc9a0ecc2b1a9cd2b6bc05ac5 (diff)
Merge pull request #2726 from 3nprob/custom-docker-repository
Allow overriding Docker repository when building docker image
-rwxr-xr-xmanage.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/manage.sh b/manage.sh
index bb86329f9..54511dc16 100755
--- a/manage.sh
+++ b/manage.sh
@@ -147,7 +147,7 @@ docker_build() {
# define the docker image name
GITHUB_USER=$(echo "${GIT_URL}" | sed 's/.*github\.com\/\([^\/]*\).*/\1/')
- SEARX_IMAGE_NAME="${GITHUB_USER:-searx}/searx"
+ SEARX_IMAGE_NAME="${SEARX_IMAGE_NAME:-${GITHUB_USER:-searx}/searx}"
# build Docker image
echo "Building image ${SEARX_IMAGE_NAME}:${SEARX_GIT_VERSION}"