After the latest bunch of updates to Gnome, gnome-terminal behaves strangely: ending a session with Ctrl-D exits all terminals open, not only the one with the bash session terminated. Closing via the windoe manager kill button works as expected. Any idea ? Reproducible: Steps to Reproduce:
report it upstream ?
Sorry, I didn't see your comment. Anyway, it is fixed with latest updates (gnome-terminal-3.12.0,vte3-0.36.0).
Status: NEW => RESOLVEDCC: (none) => jamagallonResolution: (none) => FIXED