mintty: WINCH-signal to child

[Duncan Roe]

On Sat, Oct 18, 2014 at 10:02:33PM +0100, Helmut Karlowski wrote:
>
> When I run for example an editor from a shell in a mintty-window and change
> the window-size the editor is informed by a WINCH-signal. That is good. But
> the shell it was started from does not know about the change, so after
> exiting the editor the shell uses the old size. Could mintty send a
> WINCH-signal to its direct child (-pgrp) perhaps?
>
> Of course for more complicated situations it could be difficult to inform
> all involved processes when not all have the same pgrp, but it would be
> better than nothing.
>
> Or do I miss something?
>
> -Helmut
>
bash at least has "shopt -s checkwinsize" to achieve what you want,

Cheers ... Duncan.

--
Problem reports:       http://cygwin.com/problems.html
FAQ:                   http://cygwin.com/faq/
Documentation:         http://cygwin.com/docs.html
Unsubscribe info:      http://cygwin.com/ml/#unsubscribe-simple