J'aime ouvrir plusieurs onglets dans un terminal GNOME lorsque je travaille. Dans Firefox, vous pouvez basculer entre les onglets à l'aide de Ctrl-Tab ou Ctrl-Maj-Tab. Comment obtenir les mêmes fonctionnalités dans un terminal GNOME?
Ctrl+ PageDownpour le prochain onglet
Ctrl+ PageUppour l'onglet précédent
pour déplacer l'onglet à gauche, essayez Ctrl+ Shift+←
Ceci est généralement associé à CTRLPgUpet CTRLPgDown.
Utilisez CTRLSHIFTPgUpet CTRLSHIFTPgDownpour déplacer les onglets.
Et enfin, vous pouvez accéder directement aux dix premiers onglets avec ALT1, ALT2etc ...
Mise à jour : Certaines versions (plus récentes?) De gnome-terminal ont un keyboard shortcutsdialogue accessible depuis le Editmenu - éliminant le besoin d’utiliser gconf-editor.
Vous pouvez modifier les raccourcis clavier pour gnome-terminal en utilisant gconf-editor .
Regardez sous: apps / gnome-terminal / keybindings
La page de manuel de gconf-editor fournit des commentaires intéressants ...
GConf-Editor est un outil utilisé pour éditer la base de données de configuration de GConf. Cela peut être utile lorsque l'utilitaire de configuration approprié pour certains logiciels ne fournit aucun moyen de changer une option.
et
Cet outil vous permet d’éditer directement votre base de données de configuration. Ce n'est pas la méthode recommandée pour définir les préférences du bureau. Utilisez cet outil à vos risques et périls.
Remarque: GConfig-Editor peut ne pas être installé par défaut. Pour Debian / Ubuntu / Mint, installez-le avec:
sudo apt-get install gconf-editor
Exemple de paramétrage:
next_tab <Shift>Right
prev_tab <Shift>Left
Keyboard Shortcutsmate-terminal.