Nieuws:

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

Auteur Topic: extensies Gnome verwijderen  (gelezen 84 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.