Je viens de passer à Ubuntu 17.10 et il me manque les paramètres du Dock Ubuntu, c'est-à-dire que gnome-control-center
les paramètres du dock sont vides:
Je pense que je manque le ubuntu-dock
package " ", mais je ne le trouve nulle part dans le centre logiciel.
De plus, gnome-control-center
il manquait complètement après la mise à jour, et j'ai dû l'installer séparément - je ne sais pas si cela est lié.
Je pense que cela est différent des paramètres ubuntu-dock non accessibles par défaut dans gnome-control-center car changer le type de session GNOME ne résout pas le problème. Si je choisis GNOME *, je n'ai aucune section de paramètres du Dock, et si j'ai opté pour Ubuntu *, j'obtiens la section vide de paramètres de Dock décrite ci-dessus.
Sortie 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
?