Gnome Erweiterungen

(Last Updated On: 15. November 2020)

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.

(15)


History

Schreibe einen Kommentar

Deine E-Mail-Adresse wird nicht veröffentlicht. Erforderliche Felder sind mit * markiert.