tree 824135210458beee82cee9265ca68c3490a8b0b9
parent 731248f0dbba03688e433789790f65580a472151
author Willy Tarreau <w@1wt.eu> 1580874318 +0100
committer Willy Tarreau <w@1wt.eu> 1580874547 +0100
encoding latin1

SCRIPTS: use /usr/bin/env bash instead of /bin/bash for scripts

Given that some OSes have bash in /usr/local/bin and in order not to
give too easy an excuse to Olivier for not backporting fixes, let's
make a few scripts rely on /usr/bin/env bash instead of /bin/bash :-)