diff options
| -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; } |