diff options
| author | Markus Heiser <markus.heiser@darmarit.de> | 2020-02-04 19:47:33 +0100 |
|---|---|---|
| committer | Markus Heiser <markus.heiser@darmarit.de> | 2020-02-04 19:47:33 +0100 |
| commit | 71d7550dbe750f35f0dd7b5c513bc9e8db9512ee (patch) | |
| tree | 84fcbd1a82a8f298807cd3490b2acee7b5fcbb64 /.config.sh | |
| parent | 2f40f61f83afb34f0c4b95019a53050a504ce43a (diff) | |
| download | searxng-71d7550dbe750f35f0dd7b5c513bc9e8db9512ee.tar.gz searxng-71d7550dbe750f35f0dd7b5c513bc9e8db9512ee.zip | |
tooling box ./utils/*: minor fix from production test
Diffstat (limited to '.config.sh')
| -rw-r--r-- | .config.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.config.sh b/.config.sh index e4c5f9928..0fdc0ca12 100644 --- a/.config.sh +++ b/.config.sh @@ -1,6 +1,6 @@ # -*- coding: utf-8; mode: sh -*- # SPDX-License-Identifier: AGPL-3.0-or-later -# shellcheck shell=bash +# shellcheck shell=bash disable=SC2034 # # This environment is used by ./utils scripts like filtron.sh or searx.sh. The # default values are *most flexible* and *best maintained*, you normally not |