When dash to dock nicht funktioniert, ist dash to plank vielleicht eine Option:
Dash to Plank - GNOME Shell-Erweiterungen
GitHub - hardpixel/dash-to-plank: GNOME Shell extension to integrate Plank, the simplest dock on the planet.
GNOME Shell extension to integrate Plank, the simplest dock on the planet. - hardpixel/dash-to-plank
github.com