Nieuws:

Ubuntu-NL weer online!

Na een periode van technische problemen en een overbelaste server zijn we eindelijk weer bereikbaar.
Samen met Hobbynet, onze sponsor en hostingpartner, hebben we een oplossing gevonden zodat alles weer soepel draait.

Bedankt voor jullie geduld en begrip. We hopen nu weer verder te gaan waar we gebleven waren.

Het team van Ubuntu-NL

Welkom, Gast. Alsjeblieft inloggen of registreren.
Heb je de activerings-mail niet ontvangen?

Pagina's: [1]   Omlaag

Auteur Topic: extensies Gnome verwijderen  (gelezen 545 keer)

Offline Plotinus

  • Lid
extensies Gnome verwijderen
« Gepost op: 2015/05/02, 21:36:53 »
Ik heb in mijn systeem wat extensies van Gnome 3.4 (dacht ik) die niet meer werken onder Gnome 3.14.1 Ik zou ze nu graag uit mijn systeem (uit 'Afstelhulp')verwijderen, maar dat lukt niet. De betreffende website (https://extensions.gnome.org/local/) staat ook nog steeds (al jaren dacht ik)  in BETA. Weet iemand een truc om ze toch te verwijderen?
Meld dit bericht aan de moderator   Gelogd
Ach! Waren alle Menschen wijs, en wilden daarbij wel! De Aard waar haar een Paradijs, Nu isse meest een Hel.
Pagina's: [1]   Omhoog