diff options
| author | Noémi Ványi <kvch@users.noreply.github.com> | 2021-04-05 20:48:24 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-05 20:48:24 +0200 |
| commit | b40af000f38bac645c911b2d140f0e551c8c5da1 (patch) | |
| tree | f85c4af953f4489509f6c180461672efba68bb9b | |
| parent | 736d0656bb3dc932cb35c782d9318a7de47a5fe6 (diff) | |
| parent | c819ae4d8c6aaa3cc9a0ecc2b1a9cd2b6bc05ac5 (diff) | |
Merge pull request #2726 from 3nprob/custom-docker-repository
Allow overriding Docker repository when building docker image
| -rwxr-xr-x | manage.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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}" |