Actualizar el menú de gnome
A veces, los menús de Gnome no se actualizan con los programas que acabamos de incorporar al sistema.
Para que estos menús se actualicen, basta con ejecutar:
update-menus