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 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/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs