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
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-terminal in Ubuntu.
https://bugs.launchpad.net/bugs/1000317
Title:
CTRL+D exits terminal
Status in “gnome-terminal” package in Ubuntu:
New
Bug description:
Accidentaly found
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,
3 matches
Mail list logo
