Have you ever noticed duplicate menu entries in your GNOME desktop menus? I’m not sure what causes it but occasionally I’ll find duplicate menu items in my GNOME menu. Below is a quick command to run in order to remove duplicate menu entries.
rm -f $HOME/.config/menus/applications.menu
It is also usually wise to make a backup of files before you change or remove them. To make a backup of this file you can use the following command.
cp $HOME/.config/menus/applications.menu $HOME/.config/menus/applications.menu-backup
(note: the above command should be on one line entered into the terminal.)
not only does this tip NOT work, but it causes my menu to show every possible software package that could ever possibly be installed on my system, whether it’s really there or not. this bug needs to be addressed or someone needs to write a better tutorial.
It worked fine for me.