Antwort1
Was Sie sehen in derzweiter Screenshot(rechts) ist nicht wirklich das Dock, sondern dasGNOME-Strich. Der Bindestrich ist eine Standardfunktion der GNOME-Shell, es scheintnurInAktivitäten(und Anwendungen) Übersicht. Ubuntu Dock (Paketname: gnome-shell-extension-ubuntu-dock
) ist eine GNOME-Shell-Erweiterung, die das Dashboard in ein vollwertiges Dock verwandelt, das immer angezeigt werden kann. Vermutlich sehen Sie den zweiten Screenshot manchmal, wenn die Ubuntu Dock-Erweiterung aus irgendeinem Grund nicht richtig geladen wird.
Als vorübergehende Problemumgehung können Sie Ihr System entweder neu starten (oder sich ab- und wieder anmelden) oder die GNOME-Shell einfach durch Drücken von Alt+ neu starten F2, dann eingeben r
und schließlich drücken Enter.