diff options
| author | Alexandre Flament <alex@al-f.net> | 2020-09-21 09:06:20 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-21 09:06:20 +0200 |
| commit | e0142d380e4cdde64356f06dd5c8e76655763369 (patch) | |
| tree | 9e330dc38251f0ffe3d9b453e9584893bd060b65 | |
| parent | 4cc8644ec918461371f61007bc0e50e44620fc69 (diff) | |
| parent | 69a61ce3339f644788a431e2e71823776a1c3956 (diff) | |
Merge pull request #2211 from return42/fix-centos-7
Bugfix of: ERROR: centos-: uWSGI not yet implemented
| -rwxr-xr-x | utils/searx.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/utils/searx.sh b/utils/searx.sh index a56fdac6f..386b2861f 100755 --- a/utils/searx.sh +++ b/utils/searx.sh @@ -826,7 +826,7 @@ rst-doc() { # I use ubuntu-20.04 here to demonstrate that versions are also suported, # normaly debian-* and ubuntu-* are most the same. - for DIST_NAME in ubuntu-20.04 arch fedora centos; do + for DIST_NAME in ubuntu-20.04 arch fedora; do ( DIST_ID=${DIST_NAME%-*} DIST_VERS=${DIST_NAME#*-} |