…Repareren, opnieuw instellen, gnome-extensies opnieuw installeren…
Heel wat werk eigenlijk. En je moet je nota's induiken om weer uit te vissen hoe je één en ander voor elkaar gekregen had. Vandaar dat ik de laatste jaren steeds voor upgrade ben gegaan in plaats dan verse installatie. Ik was van plan bij de volgende upgrade eens een verse installatie te doen, maar ik heb al geen zin meer

Wel werk ik voor verschillende configuratiefolders met symbolische links: die kunnen gemakkelijk hersteld worden.
Aan oude instellingen kunnen je problemen niet liggen (behalve in geval van bugs in het nieuwe systeem): alles is fabrieksstandaard. Nu is het goed mogelijk dat een ouder thema niet goed meer werken met een nieuwere versie van de desktop. Als de ontwikkelaar dit niet bijwerkt, zal je wellicht een ander thema moeten zoeken. Voor andere overblijvende problemen heb je nu een goede reden om hier nu en dan nog eens een vraagje te stellen
