Skip to content

Bash strict-mode settings

Wouter Deconinck requested to merge wdconinc-master-patch-01206 into master

Intended use in user scripts:

#!/bin/bash
source strict-mode.sh || true

(|| true to allow running this without having strict-mode.sh in path)

Merge request reports