Dimenticavo: giorgiatullo a giorgiatullo-desk:~$ sudo dpkg --purge gnome-menu-extended [sudo] password for giorgiatullo: dpkg - attenzione: la richiesta di rimozione di gnome-menu-extended viene ignorata, visto che non è installato. giorgiatullo a giorgiatullo-desk:~$ Tullo