search

bigbn / drop-down-terminal-x

Drop Down Terminal X extension for the Gnome Shell
https://extensions.gnome.org/extension/1509/drop-down-terminal-x/?c=38764
GNU General Public License v3.0
92 stars 9 forks source link

exiting bash should close the terminal #52

Closed hferreiro closed 4 years ago

hferreiro commented 4 years ago

When executing exit or pressing ctrl+d, the terminal should close. Instead, all text is cleared and a new prompt is shown.

bigbn commented 4 years ago

You see it because previous terminal is closed and new has appeared. This is default behaviour and I won't change it. You can make your fork if you want, I only can show the place where it can be switched in code.

https://github.com/bigbn/drop-down-terminal-x/blob/master/drop-down-terminal-x%40bigbn.pro/terminal.js#L544

hferreiro commented 4 years ago

Just one more comment to try to change your mind: this would be consistent with the current behaviour when multiple tabs are opened, and with the behavior of most (all?) Linux terminal emulators.