Hallo, ganz neu hier und bei Linux würde ich gerne fragen, wie ich die genannte Erweiterung entfernen kann, so dass das Dock wieder wie ursprünglich erscheint. Ich habe sie zwar deinstalliert, sie erscheint auch bei gnome Optimierungen nicht mehr, das Dock bleibt aber genau so (auch nach Neustart). Bei der Recherche im Netz bin ich auf eine Seite gestossen, die einen Bug nennt und zwar dergestalt, dass das Dock so bleibt, auch wenn die Erweiterung deaktiviert wird... Hintergrund / Ziel der Frage: ich bin wegen eines Tutorials verunsichert, das von Erweiterungen dieser Art abrät, da es bei updates/Umstellung auf neue Versionen etc. Probleme geben könnte. Oder ist diese Erweiterung 'harmlos'? Vielen Dank für Einschätzungen dazu.
Erweiterung dash to dock entfernen
Anmeldungsdatum: Beiträge: 6 |
|
Anmeldungsdatum: Beiträge: 165 |
Ubuntu-Software > Erweiterungen > Shell-Erweiterungen > Erweiterungseinstellungen |
Anmeldungsdatum: Beiträge: 165 |
Achso, ganz vergessen - die betroffene Erweiterung deaktivieren. Zum Deinstallieren in Ubuntu-Software nach "Dash to Dock" suchen und einfach deinstallieren. |
(Themenstarter)
Anmeldungsdatum: Beiträge: 6 |
Dort (in Ubuntu-Software) habe ich sie deinstalliert und es wird dort auch nur die Möglichkeit angezeigt, sie zu installieren. In den Optimierungen unter Erweiterungen erscheint Dash to Dock auch nicht mehr. Das Dock bleibt aber genau so wie mit der Erweiterung (auch nach Neustart)... Hier wird das ganz unten beschrieben: https://itsfoss.com/best-gnome-extensions/ |
Anmeldungsdatum: Beiträge: 165 |
Dann nochmals über Ubuntu-Software installieren - Neustart - und dann wieder in Ubuntu-Software deinstallieren - in der Hoffnung, dass es dann korrekt in- und wieder deinstalliert wird. Ich selbst nutze Dash to Panel und habe damit keine Probleme. |
(Themenstarter)
Anmeldungsdatum: Beiträge: 6 |
Neuinstallation / Deinstallieren habe ich mit Neustart durchgeführt. Die Extension ist auch in Optimierungen weg und in Ubuntu-Software wird angezeigt, dass sie deinstalliert ist. Dennoch bleibt das Dock genau so wie mit der Erweiterung (d.h. das Symbol mit "Anwendungen anzeigen" bleibt bei den Favoriten)... |
Anmeldungsdatum: Beiträge: 165 |
Ok, dann auf anderem Wege... Laut dem Artikel hier Extensions (Abschnitt "Löschen") liegen die Erweiterungen unter /home/[user]/.local/gnome-shell/extensions/ und dort kannst du den Ordner der Erweiterung löschen. Bei mir werden die Erweiterungen allerdings unter /home/[user]/.local/share/gnome-shell/extensions abgelegt, so als Hinweis, falls es bei dir auch so sein sollte. |
Anmeldungsdatum: Beiträge: 1749 |
Kann es sein, dass du statt des (durch Canonical) angepassten Gnome-Desktops den ürsprünglichen Gnome-Desktop haben möchtest? Falls ja, schau mal in diesen Wiki-Artikel GNOME Vanilla Desktop. |
Anmeldungsdatum: Beiträge: 673 Wohnort: Spielplan |
Das liegt daran, dass sowohl Dash-to-Dock als auch das Ubuntu-Dock (ist ja ein Fork von Dash-to-Dock) in der Konfigurationsdatei DConf die gleichen Schlüssel in /org/gnome/shell/extensions/dash-to-dock/ verwenden. Durch löschen der Extension werden die Einstellungen nicht zurückgesetzt. |
(Themenstarter)
Anmeldungsdatum: Beiträge: 6 |
Hallo Hallimax, dort sind nur zwei andere Extensions zu finden, die ich u. a. installiert habe. |
(Themenstarter)
Anmeldungsdatum: Beiträge: 6 |
Hallo Planspiel, verstehe ich das richtig, dass Einstellungen (Schlüssel? - ist alles neu für mich) von der Extension geändert wurden? /org/gnome/shell/... habe ich nicht gefunden (obwohl ich nochmals die Ordnerstrukturen unter Linux mir angeschaut habe). Was würde das bedeuten, dass Einstellungen nicht zurückgesetzt wurden? Wäre die Empfehlung da irgendwas zu ändern (wie?), oder ist nicht zu befürchten, dass diese Änderungen Probleme machen (bei updates/Umstellung auf neue Version irgendwann)? An sich würde ich das Dock ja so wie es nun ist, gerne behalten. Bin nur verunsichert von einem Tutorial (linuxguides), das davor gewarnt, an Desktopeinstellungen etc. etwas zu ändern. |
Anmeldungsdatum: Beiträge: 673 Wohnort: Spielplan |
Um in der Konfigurationsdatei dconf, die von mir genannten "Schlüssel" zu bearbeiten, müsstes Du den dconf-editor (grafische Benutzeroberfläche) installieren oder mit gsettings im Terminal arbeiten (siehe verlinkter Wiki-Artikel). Wenn Dir aber das Dock, so wie Du es jetzt eingestellt hast passt, dann lass es doch so. Falls Du was ändern willst, einfach wieder dash-to-dock installieren, damit geht das am einfachsten. Ich sehe da jetzt kein Problem. Ich zitiere mal aus der Beschreibung von ubuntu-dock aus den Ubuntu-Paketquellen (via "apt show gnome-shell-extension-ubuntu-dock -a" im Terminal): Description: Ubuntu Dock for GNOME Shell A dock for the Gnome Shell, default Ubuntu experience. . This extension is a modified version of Dash To Dock with different defaults. Dash To Dock can be installed to replace it and give more (but unsupported) configuration options. Wegen der "unsupported configuration options" würde ich mir keinen Kopf machen. Mag aber sein, dass das hier im Forum jemand anders sieht. |
(Themenstarter)
Anmeldungsdatum: Beiträge: 6 |
Ok, vielen Dank an alle! |
Anmeldungsdatum: Beiträge: 1749 |
Das klingt so, als ob dein Problem damit gelöst ist. Falls ja, markiere deinen Thread bitte noch als gelöst. Diese Ehre gebührt dem/der Threadstarter(in). Übrigens, nachträglich ein Willkommen bei ubuntuusers. Edit: Ich glaube, das hat sich jetzt überschnitten. |