J'utilise Ubuntu 12.04 et les raccourcis clavier ne sont pas pratiques dans le terminal pour mon clavier. Pour basculer entre les onglets, vous devez taper SHIFT-CTRL-PGUP
. Est-il possible de modifier ce paramètre en CTRL + [flèche droite/gauche]?
Dans l'application Terminal (gnome-terminal
j'assume), cliquez sur le menu Éditer → Raccourcis clavier ...
Une fenêtre s'ouvrira avec toutes les actions et les raccourcis clavier associés.
Localisez le groupe d'actions Onglets.
Cliquez sur la valeur de l'action que vous souhaitez modifier.
Cliquez à nouveau sur la même valeur. Il sera masqué.
Appuyez sur la combinaison de touches que vous souhaitez affecter à l'action.
Relâchez toutes les clés. La nouvelle combinaison de touches doit être affichée et active.
Je suis en cours d'exécution 13.04 (devrait être à peu près les mêmes) et les raccourcis sont juste situés dans Édition-> Préférences de clavier
N'est-ce pas vrai pour vous?