Great post... Someone should to change Ctrl+D; bash delete character or
gnome. Perhaps if gnome would warn (ok or never with an always do this)
before closing the tab. It is really annoying to lose all of one's tabs
due to the keyboard repeating this key combo.
--
You received this bug notificati
CTRL+D sends EOF to the shell, indicating the end of input, so the shell
exits, which causes gnome-terminal to exit. You can verify this by
running another bash session in the terminal:
bash
then press CTRL+D. That instance of bash will exit but gnome-terminal
will remain open. Another example, a
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1000317
Title:
CTRL+D exits terminal
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1000317