Re: double-prompt under Windows

[Chris Stacy]

Unadulterated version:

$ unset HISTORY
unset HISTORY
-sh-3.1$
-sh-3.1$
# Sending command to remote shell: unset correct
$ unset correct
unset correct
-sh-3.1$
-sh-3.1$
# Sending command to remote shell: unset autocorrect
$ unset autocorrect
unset autocorrect
-sh-3.1$
-sh-3.1$ $ exec env 'ENV=' 'PROMPT_COMMAND=' 'PS1=$ ' /bin/sh
# Waiting 30s for remote `/bin/sh' to come up...
exec env 'ENV=' 'PROMPT_COMMAND=' 'PS1=$ ' /bin/sh
$
$ exec env 'ENV=' 'PROMPT_COMMAND=' 'PS1=$ ' /bin/sh
$
$
# Setting up remote shell environment
$ stty -inlcr -echo kill '^U'
stty -inlcr -echo kill '^U'
$ $ [[Regexp `\(^[^#$%>
]*[#$%>] *\|^[^#$%>
]*[#$%>] *\(\[[0-9;]*[a-zA-Z] *\)*\)\'' not found in 30 secs]]