Neue 17.10-Installation auf Bare Metal, Dash to Panel von extensions.gnome.org installiert.
Es funktioniert wie erwartet, wenn es zum ersten Mal aktiviert wird, wird jedoch bei jeder Anmeldung deaktiviert und durch Ubuntu Dock ersetzt.
Irgendeine Idee, wie man verhindern kann, dass Dash to Panel bei jeder Abmeldung ausgeschaltet wird?
Antwort1
Habe gerade den Übeltäter gefunden ... Es ist die Erweiterung „Extensions“ von extensions.gnome.org. Wenn sie aktiv ist, stellt sie aus irgendeinem Grund nach jeder Abmeldung die vorherige Dockauswahl wieder her. Ich habe sie ausgeschaltet und kann jetzt bei dem von mir gewählten Dock bleiben.