From 6cf6f423340f060e523c007205b691ec68120f50 Mon Sep 17 00:00:00 2001
From: Tobias Geerinckx-Rice <me@tobias.gr>
Date: Sun, 11 Dec 2022 01:00:00 +0100
Subject: [PATCH] guix-install.sh: Gracefully fail on | bash.

* etc/guix-install.sh (welcome): Print an error message and a hint if
the first read fails.
---
 etc/guix-install.sh | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/etc/guix-install.sh b/etc/guix-install.sh
index fb9006b3e2..f008593d84 100755
--- a/etc/guix-install.sh
+++ b/etc/guix-install.sh
@@ -615,7 +615,10 @@ https://www.gnu.org/software/guix/
 EOF
     # Don't use ‘read -p’ here!  It won't display when run non-interactively.
     echo -n "Press return to continue..."$'\r'
-    read -r char
+    if ! read -r char; then
+	echo
+	die "Can't read standard input.  Hint: don't pipe scripts into a shell."
+    fi
     if [ "$char" ]; then
 	echo
 	echo "...that ($char) was not a return!"