Hallo zusammen,
hatte vor einiger Zeit die ppas von webupd8 bzgl Gnome-Shell-Extensions installiert. Habe nun diese via ppa-purge deinstalliert, da es auf gnome.org eine andere Art der Installation der Extensions gibt.
Habe dieses Dock https://extensions.gnome.org/extension/17/dock/ installiert, aber es funktioniert nur manchmal. Wenn ich mit dem Mauszeiger an den rechten Rand fahre, erscheint es nicht. Nur ein Zuckeln der Dockleiste ist manchmal zu sehen.
Kann man dieses Dock irgenwie konfigurieren?
Kann ich 2 Quellen von Extensions nutzen? webupd8 u gnome.org?
Danke für eure Hilfe.
PS: Auch weiß ich nicht, wie ich im dconf-editor unter shell-extensions, die alten Einträge der webupd8 extensions löschen kann. Habe zBsp immer noch die Einträge der webupd8 Extensions zBsp Wetter, im dconf-editor.