- - Comment personnaliser les raccourcis clavier sur le shell Gnome

Comment personnaliser les raccourcis clavier sur le shell Gnome

Accéder à la liste des raccourcis clavier du systèmesur Gnome Shell est assez simple, comparé à de nombreux autres environnements de bureau. Pour afficher la liste des raccourcis clavier sur Gnome Shell, appuyez sur la touche Windows de votre clavier pour ouvrir le menu de recherche. Dans la recherche, tapez «raccourcis clavier».

Personnaliser les raccourcis clavier

Écrire des raccourcis clavier dans Gnome Shellaffichera une icône de paramètres Gnome, suivie d'une brève phrase relative à «personnaliser le clavier». Sélectionnez-le pour lancer instantanément la section clavier de Gnome.

Sous "clavier" dans la zone de configuration de GnomeShell, il existe une longue liste de raccourcis relatifs au bureau. La liste est divisée en sections. Ces sections sont «Lanceurs», «Navigation», «Captures d'écran», «Son et média», «Système», «Saisie», «Accès universel» et «Windows».

Sous chaque section, vous trouverez une brève description de l’action, ainsi que la combinaison de touches pour l’exécuter.

Bien que les raccourcis pour Gnome Shell soient faciles àl’accès, c’est une bonne idée de garder un aide-mémoire pour pouvoir le consulter facilement. Pour en créer un, faites défiler, trouvez les raccourcis que vous souhaitez conserver et appuyez sur le bouton PRNT SCREEN.

Changer les raccourcis

Modification des combinaisons de clavier existantes sur leL’environnement de bureau Gnome est un processus simple, qui commence par accéder à «Clavier» dans l’application de configuration. Pour remapper un raccourci, faire défiler la liste, trouver celui que vous souhaitez remplacer, puis cliquez dessus. En cliquant sur le raccourci, une fenêtre apparaît avec une icône de clavier.

Appuyez sur la nouvelle combinaison de clavier pour remapper instantanément le raccourci.

Réinitialiser les raccourcis

Changer les raccourcis clavier sur Gnome Shell esttrès intuitif, et par conséquent, tout utilisateur peut facilement modifier la manière dont le clavier interagit avec le bureau. Heureusement, la réinitialisation des raccourcis modifiés est tout aussi facile.

Pour rétablir les raccourcis clavier Gnome à leur état d'origine, procédez comme suit.

Tout d’abord, ouvrez la recherche (en appuyant sur la touche Windowsbouton) et tapez «raccourcis clavier». Ouvrez la section clavier de l'application Gnome Settings et regardez dans la partie supérieure droite de l'application. Une fois là-bas, recherchez le bouton «Réinitialiser tout» et cliquez dessus.

Si vous sélectionnez le bouton «Réinitialiser tout», l'utilisateur sera averti que «la réinitialisation des raccourcis affectera vos raccourcis personnalisés». Pour poursuivre la réinitialisation, cliquez sur le bouton rouge «Réinitialiser tout».

Après avoir cliqué sur «Réinitialiser tout», les raccourcis clavier de Gnome devraient être à nouveau normaux.

Raccourcis personnalisés

En plus de relier les raccourcis clavier dansGnome, les utilisateurs peuvent créer leurs propres personnalisations. Pour créer un nouveau raccourci personnalisé pour le bureau Gnome, accédez à la liste des raccourcis clavier, faites défiler la liste et cliquez sur le signe plus en bas.

Cliquez sur le signe plus pour ouvrir un outil de création de raccourci personnalisé. Cet outil est basique mais très puissant.

Programmes d'ouverture

Il y a beaucoup de possibilités avec la coutumeraccourcis sur Gnome Shell. L’une des utilisations les plus courantes des raccourcis clavier personnalisés sur Gnome est de faciliter le lancement de programmes. Pour configurer un raccourci de programme personnalisé, ouvrez une fenêtre de terminal.

Dans le terminal, utilisez le CD commande pour passer à / usr / share / applications.

À l'intérieur de / usr / share / applications répertoire, utilisation ls et grep pour filtrer le programme que vous souhaitez utiliser pour votre raccourci. Dans cet exemple, nous allons utiliser Firefox.

ls | grep firefox

Fonctionnement ls résultats firefox.desktop.

Maintenant que nous connaissons le nom du fichier de raccourci Firefox, exécutez-le via chat pour déterminer la commande de terminal pour Firefox.

cat firefox.desktop | grep Exec=

le chat La commande retourne 3 commandes distinctes pour Firefox (nouvelle fenêtre, nouvelle fenêtre privée et commande standard de Firefox.)

À partir de là, nous pouvons revenir à la fenêtre de raccourci clavier personnalisée et attribuer un raccourci aux commandes.

Pour créer un raccourci personnalisé qui ouvre une fenêtre privée de Firefox, collez «firefox –private-window% u» dans la boîte de commande. Pour une nouvelle fenêtre Firefox traditionnelle, collez plutôt «firefox% u».

Finalisez le raccourci en écrivant «Firefox» dans la case «Nom», puis en cliquant sur «Définir le raccourci» pour définir la combinaison de boutons.

Ouverture de sites Web

Outre les programmes de lancement, des raccourcis clavier personnalisés peuvent également être utilisés pour lancer des sites Web. Comme les raccourcis personnalisés fonctionnent avec des commandes, nous devrons utiliser xdg-open.

Après avoir ouvert la fenêtre de raccourci clavier personnalisée dans Gnome, écrivez la commande suivante dans la section «Commande». Veillez à remplacer "website.com" par l'URL de votre site Web préféré.

xdg-open http://website.com

Avec la commande définie, nommez le raccourci et cliquez sur «Définir le raccourci» pour terminer.

Lancer des scripts shell

Avoir un script de shell personnalisé que vous souhaitez lancerau clic d'un bouton dans Gnome? Si oui, voici comment. Tout d'abord, cliquez sur le signe plus pour créer un nouveau raccourci. Ensuite, allez à la section «Commande» et écrivez la commande suivante.

sh /location/of/shell/script.sh

Écrivez «Lancement du script» dans la case du nom, puis cliquez sur «Définir le raccourci» pour appliquer la combinaison de clavier au raccourci personnalisé.

commentaires