On Sat, 2005-08-27 at 16:07 +0000, Jacopo wrote: > Davide Prina wrote: > > > > non l'ho mai fatto, ma se non sbaglio questo comando dovrebbe risolverti > > tutti i problemi: > > > > # update-menus > > Ho già tentato con update-menus, ma senza successo... > Io ho il menu "debian" che ha tutte le entry doppie. Ho provato update-menus sia da root che da utente ma non e' cambiato niente. :( Ciao .yo.mo.