Ich habe gerade auf Ubuntu 17.10 aktualisiert und vermisse die Ubuntu Dock Einstellungen, dh in gnome-control-center
den Dock Einstellungen sind leer:
Ich glaube, ich vermisse das " ubuntu-dock
" Paket, kann es aber nirgendwo im Software - Center finden.
Auch der gnome-control-center
fehlte nach dem Update komplett, und ich musste diesen separat installieren - nicht sicher, ob dies damit zusammenhängt.
Ich denke, dies unterscheidet sich von den Ubuntu-Dock-Einstellungen, auf die im Gnome-Kontrollzentrum standardmäßig nicht zugegriffen werden kann, da das Ändern des Typs der GNOME-Sitzung das Problem nicht behebt. Wenn ich mich für GNOME * entscheide, erhalte ich überhaupt keinen Abschnitt mit Dock-Einstellungen, und wenn ich mich für Ubuntu * entscheide, erhalte ich den oben beschriebenen leeren Abschnitt mit Dock-Einstellungen.
Ausgabe von apt-cache policy gnome-shell-extension-ubuntu-dock
:
rob@rob-pc:~$ apt-cache policy gnome-shell-extension-ubuntu-dock
gnome-shell-extension-ubuntu-dock:
Installed: (none)
Candidate: 0.7
Version table:
0.7 500
500 http://gb.archive.ubuntu.com/ubuntu artful/main amd64 Packages
500 http://gb.archive.ubuntu.com/ubuntu artful/main i386 Packages
rob@rob-pc:~$ apt-cache policy gnome-shell-extension-ubuntu-dock gnome-shell-extension-ubuntu-dock: Installed: (none) Candidate: 0.7 Version table: 0.7 500 500 http://gb.archive.ubuntu.com/ubuntu artful/main amd64 Packages 500 http://gb.archive.ubuntu.com/ubuntu artful/main i386 Packages
apt-cache policy gnome-shell-extension-ubuntu-dock
?