Les raccourcis clavier dans gnome-terminal
( Ctrl+ Tabet Ctrl+ Shift+ Tab) dans 12.04 ne semblent pas fonctionner. Y a-t-il un paramètre que je ne connais pas?
15
Les raccourcis clavier dans gnome-terminal
( Ctrl+ Tabet Ctrl+ Shift+ Tab) dans 12.04 ne semblent pas fonctionner. Y a-t-il un paramètre que je ne connais pas?
Malheureusement, attribuer des raccourcis avec la TABclé est un pas dans Gnome (pour une raison quelconque). Donc ça ne marchera pas.
gnome-terminal
c'estctrl-shift-right
&ctrl-shift-left
Un moyen de configurer cela est de définir à
gsettings
partir du terminal lui-même (deux commandes):Source: le dernier commentaire du rapport de bug
la source
Utilisez l' é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
la source
dconf write /org/gnome/terminal/legacy/keybindings/next-tab "'<Primary>Tab'"
etdconf write /org/gnome/terminal/legacy/keybindings/prev-tab "'<Primary><Shift>Tab'"
Utilisez Ctrl+ PageUPet Ctrl+ PageDown(ennuyeux, mais c'est ce que nous avons).
la source
Réinitialiser le dconf au «réglage d'usine» pourrait parfois aider (au moins dans mon cas lorsque mon Ctrl T ne fonctionnait pas à l'échelle du système)
la source
Une chose très intéressante que j'ai trouvée il y a quelques jours est que le gnome fait:
- Ctrl+ TabBasculer entre différentes applications
- Ctrl+ `(Celui ci-dessus Tab) Basculer entre différentes fenêtres d'une même application
Essayez ceci.
la source