| commit | be9b00f9927f59330e01954170c49bca967b00c5 | [log] [tgz] |
|---|---|---|
| author | Willy Tarreau <w@1wt.eu> | Wed Feb 05 04:45:18 2020 +0100 |
| committer | Willy Tarreau <w@1wt.eu> | Wed Feb 05 04:49:07 2020 +0100 |
| tree | 824135210458beee82cee9265ca68c3490a8b0b9 | |
| parent | 731248f0dbba03688e433789790f65580a472151 [diff] |
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 :-)