Comme Ubuntu est passé à Gnome Shell dans sa version 17.10, de nombreux utilisateurs peuvent être intéressés à découvrir certains des raccourcis les plus utiles dans Gnome ainsi que sur la façon de créer vos propres raccourcis. Cet article expliquera les deux.
Contenu
Raccourcis GNOME Shell existants pour vous simplifier la vie
Si vous vous attendez à ce que GNOME soit livré avec des centaines ou des milliers de raccourcis shell, vous serez déçu d’apprendre que ce n’est pas le cas. La liste des raccourcis n’est pas longue et tous ne vous seront pas utiles, mais il existe encore de nombreux raccourcis clavier dont vous pouvez profiter.
Pour accéder à la liste des raccourcis, allez dans « Paramètres -> Périphériques -> Clavier ». Voici quelques raccourcis moins populaires, mais utiles.
Les deux raccourcis que j’utilise personnellement assez fréquemment sont :
La plupart d’entre vous savent comment basculer entre les applications ouvertes (Alt + Tab), mais vous ne savez peut-être pas que vous pouvez utiliser Alt + Maj + Tab pour parcourir les applications dans le sens inverse.
Une autre combinaison utile pour basculer dans les fenêtres d’une application est Alt + (touche au-dessus de Tab) (exemple : Alt + ` sur un clavier américain).
Si vous souhaitez afficher la vue d’ensemble des activités, utilisez Alt + F1.
Il existe de nombreux raccourcis liés aux espaces de travail. Si vous êtes comme moi et que vous n’utilisez pas fréquemment plusieurs espaces de travail, ces raccourcis vous sont inutiles. Néanmoins, certains de ceux qui méritent d’être notés sont les suivants :
Si vous ajoutez Shift à ces commandes, par exemple Shift + Ctrl + Alt + Left, vous déplacez la fenêtre d’un espace de travail au-dessus, en dessous, vers la gauche ou vers la droite.
Un autre de mes raccourcis clavier préférés se trouve dans la section Accessibilité – Augmenter / Diminuer la taille du texte. Vous pouvez utiliser Ctrl + + (et Ctrl + –) pour zoomer rapidement sur la taille du texte. Dans certains cas, cela peut être désactivé par défaut, alors vérifiez-le avant de l’essayer.
Les raccourcis mentionnés ci-dessus sont des raccourcis clavier moins connus, mais utiles. Si vous êtes curieux de voir ce qui est disponible, vous pouvez consulter l’aide-mémoire officiel du shell GNOME.
Comment créer vos propres raccourcis Gnome Shell
Si les raccourcis par défaut ne vous conviennent pas, vous pouvez les modifier ou en créer de nouveaux. Vous faites cela à partir de la même boîte de dialogue « Paramètres -> Périphériques -> Clavier ». Sélectionnez simplement l’entrée que vous souhaitez modifier et la boîte de dialogue suivante apparaîtra.
Saisissez la combinaison de touches souhaitée.
S’il est déjà utilisé, vous recevrez un message. Sinon, cliquez simplement sur Définir et vous avez terminé.
Si vous souhaitez ajouter de nouveaux raccourcis plutôt que de modifier ceux qui existent déjà, faites défiler vers le bas jusqu’à ce que vous voyiez le signe « Plus », cliquez dessus et dans la boîte de dialogue qui apparaît, entrez le nom et les touches de votre nouveau raccourci clavier.
GNOME n’est pas fourni avec des tonnes de raccourcis shell par défaut, et ceux répertoriés ci-dessus sont parmi les plus utiles. Si ces raccourcis ne vous suffisent pas, vous pouvez toujours créer les vôtres. Faites-nous savoir si cela vous est utile.
Cet article est-il utile ? Oui Non
