gs-extensions-drop-down-terminal icon indicating copy to clipboard operation
gs-extensions-drop-down-terminal copied to clipboard

Published 20 hours ago • verified publisher icon zzrough

Terminal freezes on lost remote connection

Open anthonie opened this issue 9 years ago • 3 comments
trafficstars

When in a ssh session I forgot about, and I got logged off/kicked out, drop-down-terminal always needs to be reset by going to the Tweak Tool, selecting extensions and turning the terminal off and back on again. Is this expected behaviour?

Running Gnome Ubuntu 15.10, GShell 3.16.4

anthonie avatar Jan 27 '16 00:01 anthonie

I also have this issue. It would be nice to be able to force quit the terminal in this situation.

ghost avatar Jun 24 '18 21:06 ghost

Well, there is always $ ps aux | grep drop so you can pkill it from another terminal.

anthonie avatar Jun 27 '18 17:06 anthonie

When ssh freezes, you can also type ~. to force close the ssh session. Note that this works only after a newline, i.e. press Enter before you type it.

jsosulski avatar Aug 09 '18 06:08 jsosulski