Pourquoi gnome-terminal se bloque-t-il lorsqu'une session SSH est déconnectée?

Il s'agit d'un problème très simple. J'utilise gnome-terminal pour SSH vers d'autres machines tous les jours. Je le fais sur un ordinateur portable que je transporte au bureau, donc je bascule constamment entre les réseaux câblés et sans fil. Lorsque cela se produit, mes sessions SSH tombent et le terminal se bloque.

Pourquoi cela se produit-il (le gel, pas la fermeture de la session) et est-ce un moyen de l'empêcher? Je sais que je peux contourner ce problème en me déconnectant du serveur distant avant de savoir que je veux déconnecter mon ordinateur portable d'Ethernet.

C'est ennuyeux car je dois fermer manuellement la session du terminal après qu'elle a gelé, ce qui fait apparaître une boîte de dialogue et je perds également le titre de la session - tout cela prend beaucoup de temps. Ce serait beaucoup mieux si la session ssh venait juste d'être tuée et qu'elle me renvoyait à l'invite bash locale.

La session finira par expirer et se déconnecter; cela se produira plus rapidement si vous configurez ServerAliveIntervalet ServerAliveCountMaxen ~/.ssh/config. Pour forcer une déconnexion immédiate, Return~..

Sans entrer dans le pourquoi, voici comment le corriger:

~.

c'est tilde-dot. Appuyez sur ces deux touches, l'une après l'autre, et cela se déconnectera de la session ssh bloquée et vous rendra votre terminal. Yay!