# 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