summaryrefslogtreecommitdiff
path: root/manage.sh
diff options
context:
space:
mode:
authorMarkus Heiser <markus.heiser@darmarit.de>2020-04-02 18:59:43 +0200
committerMarkus Heiser <markus.heiser@darmarit.de>2020-04-02 18:59:43 +0200
commit2441e242884a196a21cbf11bd7726584849553e1 (patch)
treefd0aa9df0ca9eb881f4b81d1b1cac07215d0bb67 /manage.sh
parent0a951d0e550089ec8499b87ca7077420b23ff368 (diff)
parent65e8af62b18d5776ebed02ae9d22e137d7f421ca (diff)
Merge branch 'master' of https://github.com/asciimoo/searx into filtron
Diffstat (limited to 'manage.sh')
-rwxr-xr-xmanage.sh3
1 files changed, 2 insertions, 1 deletions
diff --git a/manage.sh b/manage.sh
index 4831fc1fa..b2ffb638d 100755
--- a/manage.sh
+++ b/manage.sh
@@ -121,8 +121,9 @@ docker_build() {
SEARX_GIT_VERSION=$(git describe --match "v[0-9]*\.[0-9]*\.[0-9]*" HEAD 2>/dev/null | awk -F'-' '{OFS="-"; $1=substr($1, 2); $3=substr($3, 2); print}')
# add the suffix "-dirty" if the repository has uncommited change
+ # /!\ HACK for searx/searx: ignore searx/brand.py and utils/brand.env
git update-index -q --refresh
- if [ ! -z "$(git diff-index --name-only HEAD --)" ]; then
+ if [ ! -z "$(git diff-index --name-only HEAD -- | grep -v 'searx/brand.py' | grep -v 'utils/brand.env')" ]; then
SEARX_GIT_VERSION="${SEARX_GIT_VERSION}-dirty"
fi