raccourci clavier gnome-terminal (ctrl-tab) et (ctrl-shift-tab) dans 12.04?
Raccourcis clavier dans gnome-terminal (Ctrl+Tab et Ctrl+Shift+Tab) en 12.04 ne semble pas fonctionner. Existe-t-il un paramètre que je ne connais pas?
Malheureusement, attribuer des raccourcis avec TAB la clé est un non-aller dans Gnome (pour une raison quelconque). Donc cela ne fonctionnera pas.
- Référence: https://bugzilla.gnome.org/show_bug.cgi?id=123994
- Discussion en cours sur le problème: https://mail.gnome.org/archives/desktop-devel-list/2009-November/msg00220.html
Une façon de le configurer consiste à définir gsettings à partir du terminal lui-même (deux commandes):
gsettings set org.gnome.Terminal.Legacy.Keybindings:/org/gnome/terminal/legacy/keybindings/ next-tab '<Primary>Tab'
gsettings set org.gnome.Terminal.Legacy.Keybindings:/org/gnome/terminal/legacy/keybindings/ prev-tab '<Primary><Shift>Tab'
Utilisez éditeur dconf . S'il n'est pas installé par défaut, vous pouvez l'obtenir avec Sudo apt-get install dconf-tools. Le raccourci peut être modifié dans Org> Gnome> Terminal> Legacy> Keybindings.
Cela fonctionne pour moi dans Ubuntu Gnome 16.04. Référence: https://bugzilla.gnome.org/show_bug.cgi?id=738325
Utilisation Ctrl+PageUP et Ctrl+PageDown (ennuyeux, mais c'est ce que nous avons).