Saya baru saja memutakhirkan ke Ubuntu 17.10 dan saya tidak memiliki pengaturan Dock Ubuntu, yaitu dalam gnome-control-center
pengaturan dock kosong:
Saya pikir saya mungkin melewatkan ubuntu-dock
paket " ", tetapi tidak dapat menemukan ini di manapun di pusat perangkat lunak.
Juga gnome-control-center
benar-benar hilang setelah pembaruan, dan saya harus menginstal ini secara terpisah - tidak yakin apakah ini terkait.
Saya pikir ini berbeda dari pengaturan ubuntu-dock yang tidak dapat diakses di gnome-control-center secara default karena mengubah jenis sesi GNOME tidak memperbaiki masalah. Jika saya menggunakan GNOME * saya sama sekali tidak mendapatkan bagian pengaturan Dock, dan jika saya mendapatkan untuk Ubuntu * saya mendapatkan bagian kosong pengaturan Dock yang dijelaskan di atas.
Output dari 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
?