From c819ae4d8c6aaa3cc9a0ecc2b1a9cd2b6bc05ac5 Mon Sep 17 00:00:00 2001
From: 3nprob <3nprob@3nprob>
Date: Mon, 5 Apr 2021 15:51:04 +0900
Subject: [PATCH] Allow overriding Docker repository when building docker image

---
 manage.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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}"