Kom je van Ubuntu 18.04? Vanaf 18.10 (...)
Klopt, maar ik heb wel een volledig verse installatie gedaan, inclusief formatteren harde schijf.
Ik heb even Gnome shell extensions geïnstalleerd, maar aangezien het zo niet scheen te lukken heb ik die er terug af gegooid. Maar ik heb ze zonet terug geïnstalleerd.
Die Gnome shell extensions zijn trouwens wat mij betreft
bijzonder onduidelijk. Als je dat namelijk intikt (op
https://extensions.gnome.org/), krijg ik de melding dat dat als een addon op firefox moet worden geïnstalleerd, wat bijzonder vreemd is.Maar goed, heb dat gedaan en krijg dan een ontiegelijk lange lijst van allerlei "extensions", waarvan de bedoelingen helemaal niet duidelijk zijn.En hoe die extensions dan een weerslag zouden hebben op mijn bureaublad is me al helemaal onduidelijk.
Hier toch een teleurstelling opgelopen wat betreft Ubuntu. Dat ze van systeem veranderen is één zaak, maar dat de mogelijkheden van het vorige systeem niet standaard worden opgenomen in het nieuwe systeem is ronduit problematisch.