Last Updated on 17. April 2024 by Helmut Hirner

Ich habe mich gerade ein wenig geärgert, dass ich die installierten Erweiterungen nicht mehr deinstallieren konnte, bis ich herausfand, dass fmueller seine Gnome Extentions nicht ins Verzeichnis „~ / .local / share / gnome-shell / extensions“ installiert, wie es sein sollte, sondern systemweit nach „/ usr / share / gnome-shell / extensions /“. Dadurch kann man sie nicht auf den vorgesehenen Weg deinstallieren, sondern man muss sie manuell entfernen.
Für mich ein Grund auf Erweiterungne von https://extensions.gnome.org/accounts/profile/fmuellner zu verzichten.