Le menu de base de gnome-shell est sympa mais il pourrait être encore mieux! :-)
Cet article va présenter une super extension pour gnome-shell: Axe menu
Voici un screenshot pour illustrer à quoi ressemble cette extension pour gnome-shell:
Pré-requis
cela va sans dire mais je préfère le préciser, il faut avoir gnome-shell d’installer :mrgreen:
mais cela ne suffit car il faut aussi gnome-tweak-tool et gnome-shell-extensions
sudo apt-get install gnome-tweak-tool
si difficulté pour installer gnome-shell-extensions, voici comment faire:
sudo add-apt-repository ppa:webupd8team/gnome3 sudo apt-get update sudo apt-get install gnome-shell-extension
Installation de Axe menu
Création du script d’installation
nano axemenu
on colle ceci
#!/bin/bash wget -c -O axemenu-gnome-shell.tar.gz http://k210.org/axemenu/last/ tar xvfz axemenu-gnome-shell.tar.gz -C /usr/share/gnome-shell/extensions/
on rend le script exécutable
chmod +x axemenu
On lance le script
sudo ./axememu
on ferme la session et on se connecte à nouveau sous une session Gnome
Activation d’Axe Menu
on ouvre gnome-tweak-tool puis on active Axe menu
ce qui donne
Contrôle
quelques astuces:
clic droit sur le menu pour ouvrir le gestionnaire de paramètres
Combinaison de touche « Alt » + « Tab » de votre clavier pour basculer entre les favoris et toutes les applications
Si touche « Super »
ou alors en cliquant sur l’icône entouré en rouge, qui ce situe en haut à droite de l’écran
Conclusion
personnellement, là je suis comblé! :-D
Je fus très déçu par Unity et pas très attiré par les premières montures de Gnome3, mais à ce jour j’adore Gnome3 et avec cette extension j’ai enfin trouvé un bureau simple, agréable, classe et super beau!
source: http://k210.org/axemenu/