Dans ce guide, nous plongerons dans le monde merveilleux des raccourcis clavier disponibles pour le terminal à Ubuntu.
Conditions préalables
Pour effectuer les étapes démontrées dans ce guide, vous aurez besoin des composants suivants:
Émulateur de terminal Ubuntu
Gnome est l'environnement de bureau par défaut sur Ubuntu. Chaque fois que vous interagissez avec le terminal, vous interagissez réellement avec GNOME Terminal qui est l'émulateur de terminal par défaut du bureau Gnome. Ainsi, ce guide se concentrera principalement sur les raccourcis disponibles sur Gnome Terminal sur Ubuntu.
Si vous utilisez un émulateur de terminal différent, vérifiez sa documentation pour la configuration des raccourcis clavier. Cependant, certains des raccourcis du terminal de gnome chevaucheront d'autres.
Raccourcis terminaux de gnome
Voici une liste des raccourcis terminaux spécifiques au terminal GNOME:
Gestion des fenêtres et des onglets
Copier et coller
La taille de la fenêtre
Recherche
Commutation d'onglet
Défilement
Raccourcis de bash
Dans la plupart des distros Linux (y compris Ubuntu), Bash est le shell par défaut. Les raccourcis clavier suivants sont spécifiques à Bash (pas à l'émulateur de terminal). Donc, ceux-ci devraient agir de la même manière dans tous les émulateurs terminaux.
Il existe des raccourcis clavier plus complexes que Bash prend en charge par défaut. Découvrez une liste plus complète des raccourcis clavier Bash
Raccourcis clavier personnalisés
Nous avons appris les raccourcis par défaut du terminal Ubuntu. Cependant, nous pouvons également définir des raccourcis clavier personnalisés pour différentes actions.
Pour créer un raccourci personnalisé, d'abord, ouverte GNOME Terminal:
Ensuite, cliquez sur le bouton de menu dans le coin supérieur droit et sélectionnez «Préférences»:
Depuis la nouvelle fenêtre, allez aux «raccourcis»:
Assurez-vous que l'option «Activer les raccourcis» est activée:
Dans la liste, sélectionnez l'action souhaitée que vous souhaitez modifier. Ensuite, cliquez sur la combinaison de touches que vous souhaitez définir comme clé de raccourci:
Le nouveau raccourci est automatiquement enregistré. Il devrait maintenant apparaître sur la liste des raccourcis disponibles:
Lorsque vous utilisez cette approche, il y a quelques choses que vous devez garder à l'esprit:
Désactiver un raccourci
GNOME Terminal permet également de désactiver les raccourcis clavier pour une certaine action. Pour désactiver un raccourci, retournez à la section «raccourcis» de «Préférences»:
Sélectionnez le raccourci que vous souhaitez désactiver et appuyez sur «Backpace». Cela supprimera la combinaison de touches de raccourci existante:
L'action est désormais désactivée car il n'y a pas de raccourci clavier pour le déclencher.
Conclusion
Nous avons discuté des raccourcis clavier disponibles sur le terminal Ubuntu. Nous avons également discuté des raccourcis clavier pour effectuer diverses actions de bash. Les raccourcis clavier, s'ils sont maîtrisés, peuvent accélérer diverses tâches d'un montant notable.
Intéressé à apprendre plus de raccourcis? Ensuite, l'éditeur de texte VIM est un trésor pour vous. Il est plein de raccourcis clavier, de commandes et d'abréviations, de plugins et plus. Selon de nombreux utilisateurs et passionnés avancés, VIM peut en fait être plus rapide et plus efficace à utiliser que les éditeurs de texte traditionnels.