File tree Expand file tree Collapse file tree 1 file changed +12
-7
lines changed Expand file tree Collapse file tree 1 file changed +12
-7
lines changed Original file line number Diff line number Diff line change 66# * Credits: This script is based on the script generated by sbt-pack.
77# *--------------------------------------------------------------------------*/
88
9- # save terminal settings
10- saved_stty=$( stty -g 2> /dev/null)
11- # clear on error so we don't later try to restore them
12- if [[ ! $? ]]; then
13- saved_stty=" "
9+ if [ -e /usr/bin/tty -a " ` tty` " != " not a tty" -a ! -p /dev/stdin ]; then
10+ isterminal=1
11+ # save terminal settings
12+ saved_stty=$( stty -g 2> /dev/null)
13+ # clear on error so we don't later try to restore them
14+ if [[ ! $? ]]; then
15+ saved_stty=" "
16+ fi
17+ else
18+ isterminal=0
1419fi
1520
1621# restore stty settings (echo in particular)
1722function restoreSttySettings() {
18- stty $saved_stty
23+ [ $isterminal -eq 1 ] && stty $saved_stty
1924 saved_stty=" "
2025}
2126
@@ -61,7 +66,7 @@ if [[ ${cygwin-} || ${mingw-} || ${msys-} ]]; then
6166 CYGPATHCMD=` which cygpath 2> /dev/null`
6267 case " $TERM " in
6368 rxvt* | xterm* | cygwin* )
64- stty -icanon min 1 -echo
69+ [ $isterminal -eq 1 ] && stty -icanon min 1 -echo
6570 JAVA_OPTS=" $JAVA_OPTS -Djline.terminal=unix"
6671 ;;
6772 esac
You can’t perform that action at this time.
0 commit comments