From 6a80f3ed08fd71a7ebf8a712d3d8e3f1606bc6f5 Mon Sep 17 00:00:00 2001 From: Abdessamad Derraz <3028866+Abdess@users.noreply.github.com> Date: Sat, 10 Oct 2026 03:54:26 +0200 Subject: [PATCH] fix: hand the terminal to a piped installer --- install.sh | 9 ++++++++- tests/test_install.py | 42 ++++++++++++++++++++++++++++++++++++++++++ 2 files changed, 50 insertions(+), 1 deletion(-) diff --git a/install.sh b/install.sh index 00ad754d..3f574dcd 100755 --- a/install.sh +++ b/install.sh @@ -97,4 +97,11 @@ if [ -z "$PYTHON" ]; then exit 1 fi -"$PYTHON" "$INSTALLER" "$@" +# Piped from curl, standard input is this script, not the terminal: the +# installer would skip every question it can ask. Hand it the terminal when +# there is one. +if [ ! -t 0 ] && (: /dev/null; then + "$PYTHON" "$INSTALLER" "$@"