Changer de raccourci utilisateur dans l'interface utilisateur de Gnome Shell?
Je n'arrive pas à trouver un raccourci par défaut d'utilisateur-commutateur dans Gnome Shell. Cela existe-t-il?
Sinon, comment puis-je faire celui-ci? Je veux dire, je sais que je devrais aller à l'outil Raccourcis clavier (onglet Raccourcis personnalisés), mais je ne sais pas quelle commande Shell utiliser. Quelle commande Shell est utilisée pour activer le changement d'utilisateur?
Merci d'avance pour votre temps et votre aide.
Ce que vous recherchez est disponible en tant qu'extension sur https://extensions.gnome.org
Appelé le menu d'état alternatif - cela vous donne la capacité de changer d'utilisateur.
Cependant - si vous voulez vraiment un raccourci clavier, recherchez clavier et ajoutez un nouveau raccourci avec gdmflexiserver dans 11.10 ou dm-tool switch-to-greeter comme commande avec le raccourci clavier lui-même:
Ceci est décrit plus loin dans ce Q&R: - Comment puis-je invoquer un commutateur utilisateur à partir de la ligne de commande?