[B]puoi solo spiegarci come hai risolto con ubuntu, circa la generazione del menu, potrebbe interessare qualcun'altro oltre te.
Scusa, dovevo farlo ma me ne sono dimenticato.
Il problema si è risolto da solo
Avevo installato anche il pacchetto "menu".
Ieri sera, quando avviavo flixbox per la prima volta, il menu era vuoto.
Stamattina ho rifatto la stessa operazione ma c'era il menu di debian. Evidentemente bisognava riavviare (o riavviare un particolare script).

Anche se credo che modificherò il menu a mano... ora c'è tropp a roba.
Voglio provare a fare con in gnome, ovvero c'è il menu di gnome e, a parte, il menu di debian.


sergej