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

fix(install): use direct process redirection to /dev/tty for setup child process

Browse Source 
Co-authored-by: Junie <junie@jetbrains.com>
This commit is contained in:
DragonSlayer_14
2026-09-06 17:05:59 +02:00
co-authored by Junie
parent 174014cae0
commit c219988011
1 changed files with 4 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
install.sh
+4 -3
View File
@@ -130,11 +130,12 @@ main() {
fi fi
setup_cmd+=(./setup.sh "$@") setup_cmd+=(./setup.sh "$@")
# Reconnect stdin to /dev/tty if stdin is currently piped and /dev/tty is accessible (for interactive prompts/TUI) # Execute setup.sh with stdin connected to /dev/tty if stdin is 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
exec < /dev/tty "${setup_cmd[@]}" < /dev/tty
else
"${setup_cmd[@]}"
fi fi
"${setup_cmd[@]}"
} }
main "$@" main "$@"