diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2022-10-16 02:00:01 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2022-10-16 02:00:28 +0200 |
| commit | 1e8e84b286acf147196ac95a515564324a0a9ae9 (patch) | |
| tree | 50a87618fc8a8c39a5dcfced16da636d5a92a2d6 /etc | |
| parent | 54c0b5c45767729b053574c2b2a62b17594f42ab (diff) | |
guix-install.sh: Treat all uncaught errors as fatal.
* etc/guix-install.sh: Set -o pipefail.
Diffstat (limited to 'etc')
| -rwxr-xr-x | etc/guix-install.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/guix-install.sh b/etc/guix-install.sh index 353fc68aab..43dea3b605 100755 --- a/etc/guix-install.sh +++ b/etc/guix-install.sh @@ -33,7 +33,7 @@ then exec bash "$0" "$@" fi -set -e +set -eo pipefail [ "$UID" -eq 0 ] || { echo "This script must be run as root."; exit 1; } |