Ho appena eseguito l'aggiornamento a Ubuntu 17.10 e mi mancano le impostazioni del Dock di Ubuntu, ovvero nelle gnome-control-center
impostazioni del dock sono vuote:
Penso che mi potrebbe mancare il " ubuntu-dock
" pacchetto, ma non riesco a trovarlo da nessuna parte nel centro software.
Inoltre, gnome-control-center
dopo l'aggiornamento mancava completamente, e ho dovuto installarlo separatamente - non sono sicuro che sia correlato.
Penso che questo sia diverso dalle impostazioni ubuntu-dock non accessibili in gnome-control-center di default perché cambiare il tipo di sessione GNOME non risolve il problema. Se scelgo GNOME * non ottengo alcuna sezione delle impostazioni del Dock e se ottengo per Ubuntu * ottengo la sezione vuota delle impostazioni del Dock sopra descritta.
Uscita di 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
?