Restaurer le menu Applications de Gnome
Suite à une tentative de modification du menu "Applications" de Gnome (Version 3.14.1), ce dernier a disparu ! Et ce, malgré l'utilisation du programme "alacarte" comme il se doit.
Quelques recherches web donnent des résultats alambiqués. Alors grâce à une sauvegarde assez récente de l'arborescence de /home :
$ cd
$ cp /backup/home/mon_compte/.config/menus/gnome-applications.menu .config/menus/
⇒ Puis fermer et réouvrir la session X, et ça remarche 