Mensen die zich afvragen waarom er gisteren geen blogpost was, moet ik meedelen dat ik linux mint 13 cinnamon aan het herinstalleren was wegens een buggy OS dankzij de extras van de DVD die automatisch mee-geinstalleerd waren.
Cinnamon verwijderen in synaptic en niet meer installeren van de cinnamon DVD package verhelpt het probleem. Helaas was mijn theme gewijzigd in ubuntu-mono en niet meer benaderbaar na verwijdering van cairo-dock, aldus...
Maar wellicht juich ik te vroeg, van je desktop je home dir maken met dconf is ook geen garantie voor stabiliteit.