Bien sûr, vous pouvez utiliser un certain nombre de paramètres pour modifier le délai d’exécution du SSH, de sorte que la connexion sera perdue, mais j’étais prêt pour une gratification immédiate. Heureusement, il existe un raccourci clavier simple que vous pouvez utiliser pour déconnecter instantanément SSH.
Entrez ~.
C’est la touche Entrée, puis 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. Dans tous les cas, il me déconnecte instantanément sous OS X Mavericks, ce qui me convient parfaitement.