132 votes

Comment désactiver les combinaisons de touches F1 et F10 dans gnome-terminal?

Comment puis-je désactiver les touches F1 (aide) et F10 (menu de notifications) ?

J'ai besoin de désactiver la première pour l'utilitaire d'écran et la seconde pour quitter mc dans la console.

Il n'y a pas de telles associations de touches dans les paramètres système des Raccourcis clavier.

117voto

Craig Smitham Points 522

11.04

Désactiver le raccourci F1

  1. Dans un gnome-terminal, ouvrez Modifier les raccourcis clavier.

  2. Faites défiler jusqu'au raccourci Aide/Contenu, cliquez là où il est écrit "F1" et appuyez sur Retour arrière:

    description de l'image

Désactiver le raccourci F10

  1. Installez le paquet gestionnaire de paramètres de CompizConfigInstaller le gestionnaire de paramètres de CompizConfig.

  2. Ouvrez Gestionnaire de paramètres de CompizConfig.

    • Appuyez sur Super pour ouvrir le Dash, tapez "Compiz" et appuyez sur Entrée.
  3. Tapez "unity" dans l'entrée de Filtrer et sélectionnez le Plugiciel Unity Ubuntu.

  4. Cliquez sur le bouton à droite de Touche pour ouvrir le premier menu du panneau et décochez la case Activé.

    description de l'image

  5. Cela a désactivé le raccourci global F10, maintenant désactivez le raccourci F10 de gnome-terminal:

    • Dans un gnome-terminal, ouvrez Raccourcis claviers (Modifier les raccourcis clavier) et
      décochez Activer la touche de raccourci de menu (F10 par défaut)

      description de l'image

  6. Le F10 est associé à menubar_accel par quelque chose dans Ubuntu. Gnome? Métacité? Je ne suis pas sûr de l'élément exact qui le vole, mais la touche n'arrive pas jusqu'à Eclipse.

    • Exécutez gconf-editor, naviguez jusqu'à /desktop/gnome/interface puis faites défiler jusqu'à menubar_accel et supprimez la valeur F10. [Volé d'ici]

45voto

Jay Conrod Points 12375

Désactiver F10 dans gnome-terminal en 12.04

Tapez ceci dans la console :

mkdir -p ~/.config/gtk-3.0
cat< ~/.config/gtk-3.0/gtk.css

@binding-set NoKeyboardNavigation {
     unbind "F10"
}

* {
     gtk-key-bindings: NoKeyboardNavigation
}

EOF

Ensuite, fermez toutes les sessions terminales. Maintenant, cela devrait fonctionner comme il se doit (dans mc par exemple).

23voto

Rinzwind Points 270388

Commencez gconf-editor et suivez /apps/gnome-terminal/keybindings/help

entrer la description de l'image ici

Description :

"Raccourci clavier pour lancer l'aide. Exprimé sous forme de chaîne dans le même format utilisé pour les fichiers de ressources GTK+. Si vous définissez l'option sur la chaîne spéciale "disabled", alors il n'y aura pas de raccourci clavier pour cette action."

10voto

gast128 Points 101

Je suis nouveau sous Linux et cette touche F10 me rend fou. Toutes les astuces ci-dessus n'ont pas fonctionné, mais j'ai maintenant trouvé une solution (pour Ubuntu 11.10 avec le bureau classique Gnome 3). Dans un terminal, entrez la commande suivante :

gsettings set org.gnome.desktop.interface menubar-accel ""

Avec dconf-editor, il est possible de constater que la touche F10 est vraiment partie. Notez que ce genre d'astuces semble être fortement dépendant de la version de Gnome / Ubuntu.

4voto

0x808080 Points 338

Pour quitter mc (avec la touche F10). Désactiver "Clé pour ouvrir le premier menu du panneau" dans le plugin unity compiz (ccsm)

SistemesEz.com

SystemesEZ est une communauté de sysadmins où vous pouvez résoudre vos problèmes et vos doutes. Vous pouvez consulter les questions des autres sysadmins, poser vos propres questions ou résoudre celles des autres.

Powered by:

X