Я только что обновился до Ubuntu 17.10 и мне не хватает настроек Ubuntu Dock, т.е. в gnome-control-center
настройках док-станции пусто:
Я думаю, что мне не хватает ubuntu-dock
пакета " ", но я не могу найти его нигде в центре программного обеспечения.
Кроме того, gnome-control-center
полностью отсутствовал после обновления, и мне пришлось установить это отдельно - не уверен, если это связано.
Я думаю, что это отличается от настроек ubuntu-dock, недоступных в gnome-control-center по умолчанию, потому что изменение типа сеанса GNOME не решает проблему. Если я перейду на GNOME *, у меня вообще не будет раздела настроек Dock, а если я перейду на Ubuntu *, я получу пустой раздел настроек Dock, описанный выше.
Выход 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
?