Pour rendre votre menu gnome plus rapide (par exemple sous ubuntu) il vous suffit de créer un fichier .gtkrc-2.0, de le placer dans votre dossier personnel et de l’éditer pour y mettre la ligne suivante:
gtk-menu-popup-delay = 0"| tee -a .gtkrc-2.0
Ou en une ligne de commande tout compris:
echo "gtk-menu-popup-delay = 0\"| tee -a .gtkrc-2.0" > $HOME/.gtkrc-2.0
Il vous suffit ensuite juste de de rédémarrer le serveur graphique en pressant simultanéement CTRL+ALT+Backspace.
via
