Alles anzeigenAha...
Hab den Extension Manager auch installiert, aber da ist ja fast keine Auswahl enthalten. Z.B. kann ich kein Dock installieren, der direkt auf dem Desktop ist.
Ich hab nämlich keine Lust, immer die Supertaste zu drücken.
Wenn ich über den FF z. B. Docks installieren, spielen die verrückt oder machen nicht das, was sie sollen.
Firefox zeigt mir auch eine Meldung an von irgendwas, das fehlt - API v6 wird nicht unterstützt. Muss mir mal die Doku anschauen.
Nützt ja nix, Tüfteln ist angesagt 😉
Wie wäre es mit (unter Fedora)
sudo dnf install gnome-shell-extension-dash-to-dock
Nach einem Neustart war es dann auch unter Extensions zu sehen.