From 21a3a7e6723482db4b7c600ddc9fcf2242929681 Mon Sep 17 00:00:00 2001 From: Fauli1221 <43648117+Fauli1221@users.noreply.github.com> Date: Tue, 12 Jul 2022 13:30:42 +0200 Subject: [PATCH] Update manage set docker name manualy --- manage | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/manage b/manage index c887826e2..a934d4ca7 100755 --- a/manage +++ b/manage @@ -470,7 +470,7 @@ docker.build() { build_msg DOCKER "Last commit : $VERSION_GITCOMMIT" # define the docker image name - GITHUB_USER=$(echo "${GIT_URL}" | sed 's/.*github\.com\/\([^\/]*\).*/\1/') + GITHUB_USER=fauli1221/ponysearch SEARXNG_IMAGE_NAME="${SEARXNG_IMAGE_NAME:-${GITHUB_USER:-searxng}/searxng}" BUILD="build"