Acabo de actualizar a Ubuntu 17.10 y me falta la configuración del Dock de Ubuntu, es decir, en gnome-control-center
la configuración del Dock están en blanco:
Creo que me podría faltar el " ubuntu-dock
" paquete, pero no puedo encontrarlo en ningún lugar del centro de software.
También gnome-control-center
faltaba completamente después de la actualización, y tuve que instalarlo por separado, no estoy seguro de si esto está relacionado.
Creo que esto es diferente de la configuración de ubuntu-dock no accesible en gnome-control-center de forma predeterminada porque cambiar el tipo de sesión de GNOME no soluciona el problema. Si elijo GNOME *, no obtengo ninguna sección de configuración de Dock, y si obtuve Ubuntu *, obtengo la sección de configuración de Dock en blanco descrita anteriormente.
Salida de 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
?