Buffer corruption when the terminal is resized.

2017-06-10 Thread Paul Peet
I would like to report a bug with bash (readline?). This bug can be reproduced by opening gnome-terminal with bash running. By quickly horizontally resizing the terminal window you can see that the buffer seems to be corrupted as you see repeated or even removed lines or characters. At first I tho

Re: Buffer corruption when the terminal is resized.

2017-06-10 Thread Paul Peet
> On Sat, Jun 10, 2017 at 04:56:35PM +0200, Paul Peet wrote: > > I would like to report a bug with bash (readline?). This bug can be > reproduced by opening gnome-terminal with bash running. By quickly > horizontally resizing the terminal window you can see that the buffer > seems to b

Re: Buffer corruption when the terminal is resized.

2017-06-10 Thread Paul Peet
t still results in a corrupted buffer. I've uploaded another gif which shows this: https://media.giphy.com/media/xUA7biW8UtwYIU6ggg/giphy.gif On Sat, Jun 10, 2017 at 6:58 PM, Eduardo Bustamante wrote: > On Sat, Jun 10, 2017 at 06:49:13PM +0200, Paul Peet wrote: >> declare -

Re: Buffer corruption when the terminal is resized.

2017-06-10 Thread Paul Peet
VERSION 4.4.12(1)-maint Unfortunately, I am still getting the same behavior as before (This also happens with xterm for some reason.) On Sat, Jun 10, 2017 at 11:20 PM, Eduardo Bustamante wrote: > On Sat, Jun 10, 2017 at 07:21:36PM +0200, Paul Peet wrote: >> If I understand this correctly t

Re: Buffer corruption when the terminal is resized.

2017-06-12 Thread Paul Peet
at 6:35 AM, Eduardo Bustamante wrote: > On Sun, Jun 11, 2017 at 12:29:33AM +0200, Paul Peet wrote: > [...] >> Unfortunately, I am still getting the same behavior as before (This >> also happens with xterm for some reason.) > > Please do consider that Readline has little kn

Re: Buffer corruption when the terminal is resized.

2017-06-12 Thread Paul Peet
I guess this is why I don't get the garbage output with gnome-terminal and dash. Dash doesn't use readline apparently. So, what can be done to actually fix this? On Mon, Jun 12, 2017 at 7:55 PM, Chet Ramey wrote: > On 6/12/17 1:38 PM, Paul Peet wrote: >> Uhmm, I am not su

Re: Buffer corruption when the terminal is resized.

2017-06-12 Thread Paul Peet
wrote: > 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 us

Re: Buffer corruption when the terminal is resized.

2017-06-12 Thread Paul Peet
Is there a flag in macOS's Terminal? It's because I am also experiencing this bug on macOS's Terminal :) (with bash). On Mon, Jun 12, 2017 at 9:47 PM, Chet Ramey wrote: > On 6/12/17 3:45 PM, Paul Peet wrote: >> Well, I can try to re-open this issue on the gnome-terminal

Re: Buffer corruption when the terminal is resized.

2017-06-12 Thread Paul Peet
can press ^L to clear/repair the screen, or ^C to > cancel the command and start over, or anything alike. It's sure a bit > annoying, but IMO nothing big deal. > > In the mean time I'm wondering... does the workaround of disabling wraparound > while the prompt is prin