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) | |
download | guix-1e8e84b286acf147196ac95a515564324a0a9ae9.tar.gz |
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; } |