Re: BASH BUG

[Henrique M Holschuh <hmh+debianml@rcm.org.br>]

On Sun, 19 Dec 1999, Raul Miller wrote:
> 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

That didn't work verbatim, but shopt -s checkwinsize did.

Thanks for the hint! Adding it to /etc/bash.bashrc solved the problem.

> Personally, I think this should be the default for interactive shells,
So do I. I'll fill a wishlist bug against bash.

-- 
  "One disk to rule them all, One disk to find them. One disk to bring
  them all and in the darkness grind them. In the Land of Redmond
  where the shadows lie." -- The Silicon Valley Tarot
  Henrique Holschuh