Невозможно изменить док-станцию ​​Ubuntu [дубликат]

Я только что обновился до Ubuntu 17.10, и мне не хватает Ubuntu Настройки док-станции, т.е. в gnome-control-center настройки док-станции пусты:

Думаю, мне не хватает пакета « ubuntu-dock », но я не могу найти это где угодно в программном центре.

Также gnome-control-center полностью отсутствовал после обновления, и мне пришлось установить его отдельно - не уверен, связано ли это.

Я думаю, что это отличается от настроек ubuntu-dock, которые по умолчанию недоступны в gnome-control-center , потому что изменение типа сеанса GNOME не решает проблему. Если я выберу GNOME *, у меня вообще не будет раздела настроек док-станции, а если я выберу Ubuntu *, я получу пустой раздел настроек док-станции, описанный выше.

Вывод политики apt-cache 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