Comment puis-je sortir d'une connexion SSH?

Comment puis-je sortir d'une connexion SSH ?

Deux façons :

• fermer la session shell permettra généralement de sortir, par exemple :
  • avec la commande intégrée shell, exit, suivie de Entrée, ou
  • Ctrl-d, (fin de fichier)
• dans le cas où vous avez une mauvaise connexion et que le shell ne répond pas, appuyez sur la touche Entrée, puis tapez ~. et ssh devrait se fermer immédiatement et vous ramener à l'invite de commande.

La première option devrait être intuitive, mais comment savoir pour la deuxième option ?

Nous pourrions apprendre cette information en lisant attentivement la page de l'homme.

$ man ssh

nous donne la documentation SSH, qui contient la section suivante sur les caractères d'échappement :

CARACTÈRES D'ÉCHEAPPMENT
     Lorsqu'un pseudo-terminal a été demandé, ssh prend en charge plusieurs fonctions
     à travers l'utilisation d'un caractère d'échappement.

     Un seul caractère tilde peut être envoyé comme ~~ ou en suivant le tilde par 
     un caractère autre que ceux décrits ci-dessous.  Le caractère d'échappement 
     doit toujours suivre un retour à la ligne pour être interprété comme spécial. 
     Le caractère d'échappement peut être modifié dans les fichiers de 
     configuration en utilisant la directive EscapeChar  ou sur la ligne de commandes 
     avec l'option -e.

     Les échappements supportés (en supposant le ‘~’ par défaut) sont:

     ~.      Déconnexion.

     ~^Z     Mettre en arrière-plan ssh.

     ~#      Liste des connexions redirigées.

     ~&      Mettre en arrière-plan ssh à la déconnexion en attendant que les connexions
             redirigées ou les sessions X11 se terminent.

     ~?      Afficher une liste de caractères d'échappement.

     ~B      Envoyer un BREAK au système distant (utile uniquement si le pair le supporte).

     ~C      Ouvrir une ligne de commande. Cela permet actuellement d'ajouter des 
             redirections de port en utilisant les options -L, -R et -D (voir ci-dessus). 
             Cela permet également d'annuler les redirections de port existantes 
             avec -KL[adresse_de_liaison:]port pour local, -KR[adresse_de_liaison:]port pour 
             distant et -KD[adresse_de_liaison:]port pour les redirections de port dynamique. 
             !commande permet à l'utilisateur d'exécuter une commande locale si 
             l'option PermitLocalCommand est activée dans ssh_config(5). Une aide de base
             est disponible, en utilisant l'option -h.

     ~R      Demander le renouvellement de la connexion (utile uniquement si le pair le supporte).

     ~V      Réduire la verbosité (NiveauDeJournalisation) lorsque les erreurs sont 
             écrites dans stderr.

     ~v      Augmenter la verbosité (NiveauDeJournalisation) lorsque les erreurs sont 
             écrites dans stderr.

Il n'y a rien de spécial à exit pour ssh, c'est simplement un moyen de sortir du shell, ce qui entraîne la fermeture de la session ssh :

$ type exit
exit est une commande intégrée au shell
$ help exit
exit : exit [n]
    Quitte le shell.

    Quitte le shell avec un statut N.  Si N est omis, le statut de sortie 
    est celui de la dernière commande exécutée.

Citer et citer des sources de référence est une façon de fournir davantage de preuves pour ce qui serait autrement une assertion peut-être démontrable de fait, ainsi que d'informer l'utilisateur où d'autres informations pertinentes peuvent être stockées.

Vous voulez savoir que vous faites sémantiquement la chose correcte, ainsi que savoir que cela fonctionne.

Vous ne voulez pas apprendre à invoquer en tant que fonctionnalité quelque chose qui est documenté comme un bogue et qui est ensuite "corrigé". Faire la chose sémantiquement correcte continuera d'être prise en charge.