on master help sign in
Merge pull request #2726 from 3nprob/custom-docker-repository
b40af00Noémi Ványi
manage.sh+1−1
@@ -147,7 +147,7 @@ docker_build() {
147
147
148 # define the docker image name
148 # define the docker image name
149 GITHUB_USER=$(echo "${GIT_URL}" | sed 's/.*github\.com\/\([^\/]*\).*/\1/')
149 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}"
151
151
152 # build Docker image
152 # build Docker image
153 echo "Building image ${SEARX_IMAGE_NAME}:${SEARX_GIT_VERSION}"
153 echo "Building image ${SEARX_IMAGE_NAME}:${SEARX_GIT_VERSION}"