Changer les raccourcis de gnome-terminal
Il est très génant d'être avec Midnight Commander (mc) dans un terminal gnome et
de ne pas pouvoir faire F10 pour quitter comme nous en avons l'habitude....
Mais c'est possible pourtant de l'avoir :
Il suffit de désactiver la fonction par défaut du terminal.
Pour cela, il faut vous rendre dans le menu Edition du terminal :
Sélectionner l'item de menu nommé : "Raccourcis clavier" (juste celui au dessus de celui qui est sélectionné) :
Et nous serons dans la boîte de dialigue suivante :
En cochant la case "Désactiver le raccourcis clavier d'accès au menu (F10 par défaut), vous
permettez à mc de fonctionner correctement :
Auteur : Stéphane Purnelle
Licence : PDL
Ecrire un commentaire - (html non autorisé)
Il y a 0 commentaires pour cet article
Vous n'êtes pas connecté. Votre contribution n'apparaîtra qu'après avoir été validée par un administrateur du site.Vous pouvez vous vous enregistrer ICI |
