Florian Klink aed77a8fb2 tree-wide: replace /bin/bash with /usr/bin/env bash ...

The latter is more portable, while the former only works on systems
where /bin/bash exists (or is symlinked appropriately).

2024-06-11 12:47:47 +01:00

668 B

Executable File

Raw Blame History

View Raw