Sadece Ubuntu 17.10'a geçtim ve Ubuntu Dock ayarlarını kaçırdım, yani gnome-control-center
dock ayarlarında boş:
Sanırım " ubuntu-dock
" paketini kaçırıyor olabilirim , ancak bunu yazılım merkezinde hiçbir yerde bulamıyorum.
Ayrıca gnome-control-center
güncellemeden sonra tamamen eksikti ve bunu ayrıca yüklemek zorunda kaldım - bunun ilgili olup olmadığından emin değilim.
GNOME oturumu türünü değiştirmek sorunu çözmediği için bu varsayılan olarak gnome-control-center'da erişilemeyen ubuntu-dock ayarlarından farklı olduğunu düşünüyorum . GNOME * için gidersem hiç Dock ayarları bölümü almıyorum ve Ubuntu * için alırsam yukarıda açıklanan boş Dock ayarları bölümünü alıyorum.
Çıktı 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
?