Quando mi connetto via ssh a determinati server, il timeout e "congela" il terminale (non accetta input, non si disconnette, Ctrl-C non può uccidere il processo ssh o altro).
Questo è in Ubuntu, gnome-terminal
anche se sembra mettere in pausa l'ingresso / uscita del terminale e non influisce sul funzionamento del software GNOME Terminal stesso. Quindi meno un bug gnome-terminal
che una fastidiosa incoerenza con ssh.
Quindi, c'è un modo per impedire / riguadagnare il terminale da connessioni ssh che sono scadute?