Les raccourcis clavier sont vraiment pratiques. Vous pouvez configurer le lancement de scripts shell, d'applications tierces ou même de pages Web particulières. Par exemple, j'ai mappé Alt + Espace pour lancer un script shell qui stocke mes extraits de texte et je peux rapidement saisir des adresses postales, un numéro de carte de crédit, etc. De plus, Ubuntu vous permet de mapper tous ces raccourcis clavier de manière native. Voici quelques façons de créer rapidement des raccourcis clavier dans Ubuntu.
Comment créer rapidement des raccourcis clavier dans Ubuntu
1. Ligne de commande
Au cas où vous seriez trop habitué à la ligne de commande, il y a encore deux façons de le faire : dconf et gsettings. Si vous avez déjà installé dconf, continuez, sinon nous le ferons via gsettings. Avant tout, nous devons vérifier si la liste des raccourcis clavier est vide. Dans le cas où il est vide, ce qui devrait normalement être le cas, sauf si vous avez déjà créé des raccourcis. Néanmoins, utilisez la commande suivante pour vérifier la liste des raccourcis clavier.
gsettings obtient org.gnome.settings-daemon.plugins.media-keys custom-keybindings
Si vous obtenez une sortie vide comme ci-dessus, nous devons d'abord créer une liste personnalisée. Je nomme ma liste "custom0". Vous pouvez lui donner n'importe quel nom, mais juste pour le garder propre, nous allons utiliser "custom0". Utilisez la commande suivante pour le faire.
gsettings set org.gnome.settings-daemon.plugins.media-keys custom-keybindings "['/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/']"
Une fois la commande terminée avec succès, exécutez à nouveau la commande suivante pour vérifier la création de la liste de clés personnalisée. Vous devriez quelque chose de similaire à la sortie suivante.
gsettings obtient org.gnome.settings-daemon.plugins.media-keys custom-keybindings
Ensuite, nous devons ajouter nos raccourcis clavier à la liste "custom0" que nous venons de créer. Cela nécessite un ensemble de 3 commandes qui donneront d'abord à notre raccourci un nom, un emplacement de fichier, une touche de raccourci en conséquence. Par exemple, je veux mapper "Ctrl + Alt + Page_Down" pour lancer l'éditeur Gedit. Donc, j'ai simplement trouvé l'emplacement du fichier d'application gedit en utilisant la commande "whereis". Voici les commandes que j'ai utilisées pour le faire.
gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/ name "'gedit_launch'" gsettings set org .gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/ binding "'Page_Down'" gsettings set org.gnome. settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/ command "'/usr/bin/gedit'"
Une fois toutes les commandes terminées avec succès, vous devriez pouvoir lancer l'application en appuyant sur une touche. De plus, vous verriez également une entrée à la fin sous Clavier.
Si vous souhaitez modifier le raccourci, vous pouvez le faire via l'interface graphique. Alternativement, si vous exécutez les mêmes commandes, cela remplacerait les configurations précédentes.
2. Interface graphique
Vous pouvez également créer le raccourci via l'interface graphique et c'est plus intuitif comparativement. Pour ce faire, rendez-vous dans le menu des paramètres et cliquez sur l'onglet Appareils. Ensuite, cliquez sur l'onglet Clavier. Alternativement, vous pouvez également taper "Clavier" dans la barre de recherche GNOME.
Dans la section Clavier, naviguez vers le bas et cliquez sur le bouton "+".
Dans la fenêtre contextuelle d'ajout de raccourci, vous devez entrer le nom, l'emplacement du fichier et le raccourci clavier. Par exemple, je veux mapper "Alt + Ctrl + Page_Down" pour lancer l'application gedit. J'ai donc découvert l'emplacement du fichier d'application gedit à l'aide de la commande "whereis". De plus, pour ajouter le raccourci clavier, il vous suffit d'appuyer sur le bouton "Définir le raccourci…" et il enregistrera la pression sur la touche.
Après avoir entré tous les paramètres, cliquez sur le bouton Ajouter dans le coin supérieur droit.
Lors de l'ajout, vous pourrez voir votre raccourci en bas de la page. Si vous le pouvez, vous devriez pouvoir lancer l'application via le raccourci clavier.
Ces raccourcis clavier peuvent également être utilisés pour lancer des scripts shell ou des images d'application. Pour plus de problèmes ou de questions, faites-le moi savoir dans les commentaires ci-dessous.
Lisez aussi : Les meilleurs navigateurs pour Ubuntu que vous devriez essayer en 2019
Nous avons tous entendu parler de Google et de son produit le plus renommé, la recherche Google. La plupart d'entre nous l'utilisent probablement aussi quotidiennement. Mais tirez-vous le meilleur parti du puissant moteur de recherche ?
Internet a beaucoup à offrir et vous voudriez tout garder pour l'avenir. Que vous souhaitiez la confidentialité ou un moyen de vous rappeler pourquoi vous avez enregistré un lien, ces applications peuvent changer la façon dont vous utilisez les signets.
YouTube est le plus grand service de streaming vidéo gratuit de la planète. Mais vous payez un prix avec votre vie privée. Heureusement, il existe des applications pour rendre YouTube plus privé et sécurisé ou utiliser des alternatives avec des fonctionnalités similaires.
Les enfants méritent un Noël joyeux et heureux, n'est-ce pas ? Essayez ces moyens gratuits de susciter la joie de Noël pour les enfants avec des applications, des jeux et des sites Web interactifs.
Avec tout maintenant en ligne, le marketing de contenu est devenu essentiel. Avoir un contenu de qualité ne suffit plus si vous ne pouvez pas le sauvegarder avec des stratégies de référencement robustes lorsque vous publiez quelque chose.
Peu importe à quel point vous essayez de fournir des services de premier ordre, vous ne pouvez toujours pas satisfaire tous vos clients. Même quelques mauvaises critiques peuvent dissuader des clients potentiels de vous confier leur entreprise.
Ne serait-il pas ennuyeux de devoir ressaisir vos informations d'identification à chaque fois que vous ouvrez le navigateur Chrome ? Certainement. Bien que Chrome soit connu pour sa vitesse, sa simplicité et sa convivialité, vous pouvez rencontrer certains bogues.
Confus entre les applications de conception Figma et Sketch? Voici une comparaison approfondie pour faciliter le processus de décision pour les débutants.
Voici une solution simple lorsque vous obtenez une erreur reCaptcha en mode Chromes incoginito.
Vous voulez créer des GIF accrocheurs ? Apprenez à créer un GIF dans Canva avec des images et des vidéos pour animer votre site Web et votre flux de médias sociaux.
