Re: BASH BUG

[Raul Miller <moth@debian.org>]

On Mon, Dec 13, 1999 at 01:50:53AM -0500, Greg Stark wrote:
> Except that our bash has had a serious problem that is _not_ related
> to the prompt. I see this problem without setting PS1 at all, just
> resize the window and bash will start jumping around because it still
> has the old window size. I'm not sure when this broke but it's been
> broken for a long long time. Always meant to file a bug on this.

shopt -o checkwinsize

[or `man bash` and look for checkwinsize.]

Personally, I think this should be the default for interactive shells,
but fundamentally it's a workaround for a limitation of the design of
the kernel (it's not linux specific: it's related to the concept of the
unix API).

-- 
Raul