Terminal doesn't produce the EOF character on Ctrl-D
|Reported by:||bonefish||Owned by:||jackburton|
It seems that the terminal produces a three character escape sequence when Ctrl-D is pressed instead of the correct (single) character. This causes Ctrl-D not to have the desired effect. E.g.
cat > /dev/null
can not be terminated with Ctrl-D. This works fine with Be's Terminal under Haiku.