Ubuntu-fr

omnimax

menu principal plus rapide

bon, un petite astuce déja connue, mais bonne à rappeler pour les nouveaux...chez certains le menu principal gnome est d'une lenteur exaspérante.

la solution copie coller ce script :

echo "gtk-menu-popup-delay = 0\"| tee -a .gtkrc-2.0" > $HOME/.gtkrc-2.0

enregister sous : nomduscript

en console : sudo chmod +x (lenomquevousavezdonnéàvotrescript)

>sessions>ajouter programme au démarrage>commande: indiquer le chemin dans le quel se situe le script
exemple /home/toto/script/./nomduscript

(le ./ est super important)

et voilu au prochain redémarrage du serveur graphique vous aurez un menu principal rapide

Dernière modification par greg2007 (Le 28/07/2008, à 08:06)

---

14.04 unity et Linux Mint KDE 13 zsh-meilleur shell   script fire

zedtux

Re : menu principal plus rapide

Pourquoi ce genre de chose ne sont pas par defaut dans Ubuntu à l'installation ?

---

RECOLLER VOS FICHIERS XTM AVEC TUXTREMSPLIT !!
Adhérant April numéro 4985 [Rejoindre l'April moi aussi !].

speculoos

Re : menu principal plus rapide

Je ne suis pas tout à fait nouveau et je ne connaissais pourtant pas. Comme quoi, bonne initiative de le rappeler Je ne trouve pas que le menu soit lent chez moi mais je vais tout de même essayer dès ce soir, pour voir ce que ça donne ! Merci pour l'astuce !

omnimax

Re : menu principal plus rapide

zedtux :

c'est clair ...

---

14.04 unity et Linux Mint KDE 13 zsh-meilleur shell   script fire

Mia

Re : menu principal plus rapide

Chouette astuce

Juste par curiosité :

- Pourquoi re-créer le fichier à chaque login, ça ne suffit pas de le créer une seule fois ?

- La partie tee -a .gtkrc-2.0 > $HOME/.gtkrc-2.0 n'est-elle pas redondante ? Si j'ai bien compris, le tee écrit dans le fichier ET dans la sortie standard, donc pourquoi rediriger cette dernière dans le même fichier ensuite ?

omnimax

Re : menu principal plus rapide

Oui tu as raison il suffit juste de créer ce fichier en question pour que cela prenne effet

---

14.04 unity et Linux Mint KDE 13 zsh-meilleur shell   script fire