On 6/12/17 1:38 PM, Paul Peet wrote:
> Uhmm, I am not sure how to interpret these results (All shells or
> terminals have been tested with Ubuntu 17.04):
>
> gnome-terminal + bash: Happens
> gnome-terminal + zsh: This bug also happens here, lines are getting
> removed/repeated...
> gnome-terminal + dash: Does not happen. (I changed the
> PS1="username@hostname $" to make it longer)
> gnome-terminal + mksh: The bug also occured here. Same as bash and zsh.
I suspect this happens due to mismatched expectations. The cases with
garbled output seem to occur where the redisplay engine assumes the
terminal maintains the text across resizes (so it can do intelligent
redisplay using what's already on the screen) and the terminal emulator
assumes the foreground process is going to take care of doing all the
redisplay after a SIGWINCH and doesn't bother with the screen contents.
The readline redisplay engine assumes that the only characters on the
screen are those it writes. If that assumption is violated on a size
change, you'll get indeterminate results.
--
``The lyf so short, the craft so long to lerne.'' - Chaucer
``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, UTech, CWRU c...@case.edu http://cnswww.cns.cwru.edu/~chet/
