Щойно я перейшов до Ubuntu 17.10, і мені не вистачає налаштувань док Ubuntu, тобто в gnome-control-center
налаштуваннях дока порожні:
Я думаю, що мені може не вистачити ubuntu-dock
пакет " ", але я не можу знайти його ніде в центрі програмного забезпечення.
Також gnome-control-center
оновлення повністю не було після оновлення, і мені довелося встановити це окремо - не впевнений, що це пов’язано.
Я думаю, що це відрізняється від налаштувань док-ubuntu, недоступних у центрі gnome-control за замовчуванням, оскільки зміна типу сеансу 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
?