Soyons franc le menu par défaut livré avec Gnome, et c’est un euphémisme, n’est pas très bon. Le « Menu Mint » qui vient avec la distribution Linux Mint est vraiment plus utile et surtout plus ergonomique.

Menu mint

Le menu Mint en action

La bonne nouvelle est que vous n’avez pas besoin de passer à Linux Mint à l’utiliser. Vous pouvez l’installer très facilement depuis votre Ubuntu préféré. Il suffit d’ajouter le dépôt, mettre à jour la liste des paquets  puis installer le paquet « mintmenu ».

Taper et validez par la touche entrée chacune de ces 2 ligne de commande dans un terminal et le tour est joué :

sudo add-apt-repository ppa:webupd8team/mintmenu && sudo apt-get update
sudo apt-get install mintmenu
  • Il ne vous reste plus qu’à faire un clic droit sur le tableau de bord et choisir Ajouter au tableau de bord

add_panel

  • Choisissez le mintMenu dans la liste qui s’offre à vous et validez

Et voilà à vous les joies d’un menu rapide dans son utilisation, esthétique et beaucoup plus fonctionnel qu’auparavant !! J’aime tout particulièrement la zone de recherche rapide à la sauce Windows 7.