diff options
| author | Alexandre Flament <alex@al-f.net> | 2021-01-12 10:52:42 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-01-12 10:52:42 +0100 |
| commit | 9c55d772e98f5e51da4a34389dc240cfb3b14852 (patch) | |
| tree | 50f857bf046ab179eee935d40b9e63da7372171e /manage.sh | |
| parent | 8d0312d014f09fad2133b6e6c6b597cc08e4daf0 (diff) | |
| parent | 424e6abc7e26c3e3be71678d00f88cf09d6c0a7e (diff) | |
| download | searxng-9c55d772e98f5e51da4a34389dc240cfb3b14852.tar.gz searxng-9c55d772e98f5e51da4a34389dc240cfb3b14852.zip | |
Merge pull request #2408 from return42/rm-brand-make
[mod] move brand options from Makefile to settings.yml
Diffstat (limited to 'manage.sh')
| -rwxr-xr-x | manage.sh | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -123,9 +123,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); if ($3) { $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 + # /!\ HACK for searx/searx: ignore utils/brand.env git update-index -q --refresh - if [ ! -z "$(git diff-index --name-only HEAD -- | grep -v 'searx/brand.py' | grep -v 'utils/brand.env')" ]; then + if [ ! -z "$(git diff-index --name-only HEAD -- | grep -v 'utils/brand.env')" ]; then SEARX_GIT_VERSION="${SEARX_GIT_VERSION}-dirty" fi |