Gnome Shell manquait d'un menu digne de ce nom, voila qui est chose faite par le biais d'une extension.
C'est Axe Menu, qui est un menu très complet et paramètrable qui ressemble un peu au lanceur Lancelot qu'on trouve sous KDE.
On peut configurer finement la taille, les colonnes, les icones, les favoris.
De plus ce menu contient des raccourcis vers les emplacements, les signets, le système et l'extinction ce qui évite d'installer des extensions séparées pour chacun.

Pour utiliser cette extension vous devez bien sur avoir installé gnome-shell-extensions

Pour cela, j'ai utilisé le PPA de Webupd8 en tapant dans un terminal

sudo add-apt-repository ppa:webupd8team/gnome3
sudo apt-get update
sudo apt-get install gnome-shell-extensions

Une fois que c'est fait allez sur le site des extensions de gnome-shell pour installer axe-menu

https://extensions.gnome.org/extension/327/axe-menu/

Cliquez sur le bouton pour mettre à "ON" une popup vous demandera si vous souhaitez installer l'extension

Ce site permet d'installer et d'activer les extensions gnome-shell d'un simple clic

Sinon vous pouvez aussi installer et utiliser gnome-tweak-tool

sudo apt-get install gnome-tweak-tool

Une fois le menu installé vous pouvez le configurer

Original post of Christophe Brand.Votez pour ce billet sur Planet Libre.