Sebastian Hasler adffd3f8b6 scripts: Use shebang /usr/bin/env bash ... Not all distros have `/bin/bash`, e.g. NixOS. Fixes: #3450 Signed-off-by: Sebastian Hasler <sebastian.hasler@stuvus.uni-stuttgart.de>		2022-01-13 22:53:28 +01:00
..
lib.sh	scripts: Use shebang /usr/bin/env bash	2022-01-13 22:53:28 +01:00