Sommaire

Déconnexion

Une fois que l’utilisateur a terminé le travail pour lequel il s’est connecté au système Linux, il doit se déconnecter (ou fermer sa session) afin de libérer la console qu’il utilise.

La déconnexion d’un terminal texte peut s’effectuer de trois manières :

  • avec la commande exit ;

  • avec la commande logout (ne fonctionne qu’à partir du shell lancé automatiquement à la connexion) ;

  • en tapant simultanément sur les touches [Ctrl]+[d].

La séquence de touches [Ctrl]+[d] correspond au caractère de fin de fichier. Lorsque le terminal reçoit ce caractère, il considère que son "fichier" d’entrée (le clavier) est fini et donc, termine son exécution. Cette notion de fichier d’entrée est détaillée dans la section Redirections du chapitre traitant du Shell Bash.

Les interfaces graphiques Linux permettent, quant à elles, de se déconnecter via un menu :

images/602RI08N.png