tags 692819 - upstream reassign 692819 gnome-terminal found 692819 gnome-terminal/3.4.1.1-2 retitle 692819 gnome-terminal: sends ^_ to the session when Ctrl-- is pressed and font is not shrunk any further thanks
Eike Jesinghaus dixit: >When running mksh in gnome-terminal and resizing the window with the Ctrl-- >shortcut, after >resizing the window a few times mksh crashes (gnome-terminal receives >SIGCHILD). > >This does not happen when simply resizing the window to a larger box, so it >has to do >with the font size. > >This does also not happen with bash, so it is a shell issue. Thanks for your bugreport, I tracked this down as follows: When you press Ctrl-- in gnome-terminal, it shrinks the font. When the font is not shrunk any more (there seems to be some set minimum size), it sends Ctrl-_ to the session/shell instead. In mksh, Ctrl-_ is normally bound to “end of text”, which does in fact end the shell cleanly when at top-level, so the shell behaves correctly. SIGWINCH doesn’t come into the equation either. When running mksh, type the following line to analyse it: it reads from stdin, byte for byte, unbuffered, and outputs the hex value of the char read: while read -n1 x; do typeset -Uui16 y="1#$x"; print $y; done After several Ctrl-- keypresses, it shows 16#1F (^_). I’m tentatively reassigning this to gnome-terminal, as I do not normally use GNOME and do not know the exact component responsible for this behaviour, nor whether the GNOME people consider this a bug, or whether GNOME will even continue to be shipped with Debian, considering the Poettering problem. bye, //mirabilos -- 22:59⎜<Vutral> glaub ich termkit is kompliziert | glabe nicht das man damit schneller arbeitet | reizüberflutung │ wie windows │ alles evil zuviel bilder │ wie ein spiel | 23:00⎜<Vutral> die meisten raffen auch nicht mehr von windows | 23:01⎜<Vutral> bilderbücher sind ja auch nich wirklich verbreitet als erwachsenen literatur ‣ who needs GUIs thus? -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
