Thanks, those will indeed be useful. Looks like `pipefail` is already in Dash https://salsa.debian.org/debian/dash/-/blame/debian/unstable/debian/changelog?ref_

Thanks, those will indeed be useful. Looks like `pipefail` is already in Dash https://salsa.debian.org/debian/dash/-/blame/debian/unstable/debian/changelog?ref_type=heads#L24 https://salsa.debian.org/debian/dash/-/blame/debian/unstable...