Comment se déconnecter de SSH dans un terminal sous Mac OS X

Depuis que je suis passé à OS X, il y a eu un petit ennui qui me dérange, et il est vraiment petit: mes sessions SSH seront suspendues chaque fois que mon VPN expire, et je dois fermer le terminal pour le déconnecter, parce que SSH prend une éternité pour une raison quelconque.

Bien sûr, il existe de nombreux paramètres que vous pouvez utiliser pour modifier le délai d'attente SSH afin qu'il reconnaisse que la connexion a disparu, mais j'étais prêt pour une gratification instantanée. Heureusement, il existe un raccourci clavier simple que vous pouvez utiliser pour déconnecter instantanément SSH.

Entrez ~ .

Il s’agit de la touche Entrée, puis de la touche Tilde (~), suivie de la touche point (.), Bien que j’ai pu également utiliser le tilde suivi d’un point lorsqu’on utilise un terminal à liste déroulante. En tout cas, il me déconnecte instantanément sur OS X Mavericks, et cela me suffit.

Je suis sûr que j'utiliserai cette séquence de touches de raccourci tous les jours, je ne l'oublierai donc pas, mais cela aidera peut-être quelqu'un d'autre. Et pour ceux qui se demandent, CTRL + D ne fonctionnait tout simplement pas pour moi.