Benjamin Drung 687cff25b9 Explicitly call "set -e" instead of specifying on shebang
Scripts can be run as `sh $script`. In this case `-e` on the shebang is
ignored.

So explicitly call `set -e` instead of specifying `-e` on the shebang.
2025-01-20 11:27:54 +01:00
..