On 6/12/17 2:24 PM, Paul Peet wrote:
> I guess this is why I don't get the garbage output with gnome-terminal
> and dash. Dash doesn't use readline apparently.
Dash doesn't support line editing at all out of the box, though you can
build it using libedit.
>
> So, what can be done to actually fix this?
Not a lot, really. If the display engine assumes that the only characters
on the screen are the ones it writes there, and the terminal emulator
violates that on a screen size change, you're basically left with running
^L (with or without a numeric argument to restrict it to the current line)
a lot.
Now, if you force a complete refresh with ^L and the display is still
wrong, we have a redisplay bug.
--
``The lyf so short, the craft so long to lerne.'' - Chaucer
``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, UTech, CWRU [email protected] http://cnswww.cns.cwru.edu/~chet/
