summaryrefslogtreecommitdiff
path: root/manage
diff options
context:
space:
mode:
authorAlexandre Flament <alex@al-f.net>2021-07-21 14:27:49 +0200
committerGitHub <noreply@github.com>2021-07-21 14:27:49 +0200
commit4f0d232a3dc95042be809d6fa6e93ca746156658 (patch)
tree4155de82568afd651558cb91a5d59aa256577a19 /manage
parent17e028e57928f7925a2d1ee1177d28ff33ff8487 (diff)
parent19abaf272def8faee5e7d3652d95413c3256d638 (diff)
Merge pull request #213 from return42/drop-brand
[mod] drop searx.brand namespace
Diffstat (limited to 'manage')
-rwxr-xr-xmanage7
1 files changed, 7 insertions, 0 deletions
diff --git a/manage b/manage
index 6cf562b22..f03343839 100755
--- a/manage
+++ b/manage
@@ -177,6 +177,13 @@ docker.buildx() {
docker.build() {
pyenv.install
+ local SEARX_GIT_VERSION
+ local VERSION_GITCOMMIT
+ local SEARX_PYTHON_VERSION
+ local GITHUB_USER
+ local SEARX_IMAGE_NAME
+ local BUILD
+
build_msg DOCKER build
# run installation in a subprocess and activate pyenv