Le Gnome-Shell fournit avec Gnome 3 souffre d’un défaut. Par défaut, il ne propose que la mise en veille. Il faut enfoncer la touche alt, tout en cliquant sur le nom d’utilisateur pour avoir l’option d’extinction.
Pour corriger ce problème de jeunesse du gnome-shell, il existe une extension, du nom de « gnome-shell-extension-alternative-status-menu ».
Pour l’installer sur ArchLinux, il suffit de taper :
yaourt -S gnome-shell-extension-alternative-status-menu
Il faut alors redémarrer gnome-shell. Un moyen rapide est d’utiliser le raccourci clavier ALT+F2, de rentrer la commande « r » (dans les guillemets) et de valider…. Et on peut enfin accéder à une option bien intéressante…
Merci à Andre Ani pour m’avoir indiqué l’existence de l’extension dont il est – au final – difficile de se passer.