ah, ho un altro problema: come modifico il menù di gnome?
con warty che aveva il 2.8 bastava aprire una finestra di nautilus e scrivere
applications:/// oppure cliccare col tasto dx del mouse su un'icona e da li modificarla o aggiungerne altre, ma ora come si fa?