Scripts/Setup
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix(install): reconnect stdin to tty for interactive TUI in piped execution

Browse Source 
Co-authored-by: Junie <junie@jetbrains.com>
This commit is contained in:
DragonSlayer_14
2026-09-06 17:16:50 +02:00
co-authored by Junie
parent c219988011
commit e87342d3b7
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
install.sh
+4 -4
View File
@@ -130,12 +130,12 @@ main() {
fi fi
setup_cmd+=(./setup.sh "$@") setup_cmd+=(./setup.sh "$@")
# Execute setup.sh with stdin connected to /dev/tty if stdin is piped (e.g. curl ... | bash) # Reconnect stdin to /dev/tty before executing setup.sh if piped (e.g. curl ... | bash)
if [[ ! -t 0 ]] && [[ -e /dev/tty ]] && ( : < /dev/tty ) 2>/dev/null; then if [[ ! -t 0 ]] && [[ -e /dev/tty ]] && ( : < /dev/tty ) 2>/dev/null; then
"${setup_cmd[@]}" < /dev/tty exec < /dev/tty
else
"${setup_cmd[@]}"
fi fi
"${setup_cmd[@]}"
} }
main "$@" main "$@"