• # update- est ton ami

    Posté par . En réponse au message menu gnome 2.12. Évalué à 2.

    sous debian, il y a toute une serie d'outils update-

    update-grub
    update-menu
    update-monprogramme ;-)

    pour mettre à jour les menus il te faut peut-etre faire (depuis la console ou un terminal, et en root) :
    update-menu

    pour que cela recalcule les menus.

    sinon tu as peut-etre desinstallé un bout de programme :-(
    et là va savoir lequel...