Fionn Langhans cb64439f41 Bugfix: Use /usr/bin/env bash instead of just /bin/bash ...

The problem: Some Linux distrubutions, like NixOS, use a
non-standard filesystem. This causes the bash program to not
be at /bin/bash (though /usr/bin/env is always there).

2022-12-12 21:27:46 +01:00

4.6 KiB

Executable File

Raw Blame History

View Raw