Hi, I think this is a duplicata of: https://bugs.launchpad.net/ubuntu/+source/bash/+bug/725327
Apparently, for bash, this is an intended change: see https://bugs.launchpad.net/ubuntu/+source/bash/+bug/725327/comments/6 Anyway, if bash's behavior changed, it is now to its GUI shell (i.e. gnome-terminal) to fill the gap of a previously existant, now lost, functionality. I rise two suggestions: - either adding to the GUI a new button (menu) to "save with history", i.e. a shortcut for typing "exit" then "enter" (history is still saved when "exit" is typed) - either modifying the "close" button of the window to no more send interruption signal to bash, but to send the "CTRL-D" combination key. however, this is somewhat inconsistent with the GUI philosophy, where "close" button generally means interruption signal. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/740346 Title: History in gnome-terminal not saving after close terminal -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
