Nieuws:

We zijn er weer.

Na lange tijd van afwezigheid zijn we er weer  :laugh:
We hebben alle wachtwoorden gereset, je oude wachtwoord werkt niet meer.Je moet via het "wachtwoord vergeten"-linkje je wachtwoord resetten. Je krijgt hiervoor een mailtje op het adres dat je bij ons geregistreerd hebt.

De komende tijd zijn we nog druk bezig om de rest van de site op te bouwen, dus het kan zijn dat sommige onderdelen (tijdelijk) niet werken.

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

Auteur Topic: extensies Gnome verwijderen  (gelezen 86 keer)

Offline Plotinus

  • Lid
  • Steunpunt: Nee
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?
Ach! Waren alle Menschen wijs, en wilden daarbij wel! De Aard waar haar een Paradijs, Nu isse meest een Hel.