From 9a2f741047b087d66767e03230800a98e21165b3 Mon Sep 17 00:00:00 2001 From: bart Date: Tue, 20 Oct 2026 21:43:38 +0200 Subject: [PATCH] Fix interactive terminal prompt via /dev/tty for piped curl --- eendoe/install-repo.sh | 17 ++++++++++++++--- 1 file changed, 14 insertions(+), 3 deletions(-) diff --git a/eendoe/install-repo.sh b/eendoe/install-repo.sh index b4e2d32..f4db6f3 100755 --- a/eendoe/install-repo.sh +++ b/eendoe/install-repo.sh @@ -26,13 +26,24 @@ REPO_USER="${1:-}" REPO_PASS="${2:-}" if [ -z "$REPO_USER" ]; then - read -r -p "Gebruikersnaam voor repository [eendoe]: " INPUT_USER + if [ -t 0 ]; then + read -r -p "Gebruikersnaam voor repository [eendoe]: " INPUT_USER + elif [ -e /dev/tty ]; then + read -r -p "Gebruikersnaam voor repository [eendoe]: " INPUT_USER