Re: mintty: WINCH-signal to child

2014-10-28 Thread Linda Walsh
Thomas Wolff wrote: Am 19.10.2014 12:11, schrieb Helmut Karlowski: Am 19.10.2014, 09:48 Uhr, schrieb Duncan Roe: bash at least has "shopt -s checkwinsize" to achieve what you want, That would be a workaround for bash. Ideally every process should forward the WINCH-signal to its parent, or t

Re: mintty: WINCH-signal to child

2014-10-19 Thread Thomas Wolff
Am 19.10.2014 12:11, schrieb Helmut Karlowski: Am 19.10.2014, 09:48 Uhr, schrieb Duncan Roe: bash at least has "shopt -s checkwinsize" to achieve what you want, That would be a workaround for bash. Ideally every process should forward the WINCH-signal to its parent, or the terminal should wa

Re: mintty: WINCH-signal to child

2014-10-19 Thread Helmut Karlowski
Am 19.10.2014, 09:48 Uhr, schrieb Duncan Roe: bash at least has "shopt -s checkwinsize" to achieve what you want, That would be a workaround for bash. Ideally every process should forward the WINCH-signal to its parent, or the terminal should walk through the call-tree. Both not very likel

Re: mintty: WINCH-signal to child

2014-10-19 Thread 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 >

mintty: WINCH-signal to child

2014-10-18 Thread Helmut Karlowski
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