10 lines
178 B
Bash
10 lines
178 B
Bash
|
|
# HAS_WINPTY="${HAS_WINPTY:-}"
|
|
# export HAS_WINPTY
|
|
# # Force shell restart in case winpty is not set
|
|
# if [ -z "$HAS_WINPTY" ]; then
|
|
# HAS_WINPTY=1
|
|
# exec winpty $SHELL
|
|
# fi
|
|
|