J'ai désinstallé mono dans 12.04 par :
sudo apt-get remove mono-*
mais par la suite, le thème d'Ubuntu a changé en un thème moche. Il semble que certains thèmes dépendent de mono !!!
Ma question est la suivante : comment puis-je rétablir les paquets supprimés par cette commande ?