Les paramètres ubuntu-dock ne sont pas accessibles par défaut dans gnome-control-center
Je suis récemment passé à Ubuntu 17.10. Après avoir activé l'extension ubuntu-dock à partir de Gnome-Tweak-Tools, je n'ai trouvé aucun paramètre spécifique permettant de personnaliser Ubuntu-Dock dans gnome-settings ou gnome-control-center. Un hack temporaire que j'ai trouvé pour accéder aux paramètres du dock changeait la variable XDG_CURRENT_DESKTOP du terminal, puis lançait gnome-control-center à partir de là.
XDG_CURRENT_DESKTOP=ubuntu:GNOME gnome-control-center
Je voulais savoir s'il existe un moyen permanent d'obtenir Ubuntu-Dock-Settings dans gnome-control-center
Si vous avez mis à niveau à partir d’Ubuntu GNOME 17.04, il vous restera la ou les sessions GNOME par défaut à choisir lors de la connexion. De plus, la toute nouvelle session GNOME personnalisée par Ubuntu (simplement nommée Ubuntu et/ou Ubuntu sur Xorg ) sera ajouté.
Le paramètre de dock Ubuntu est accessible uniquement à partir de la ou des sessions GNOME personnalisées par Ubuntu et non à partir de la ou des sessions GNOME par défaut.
Lorsque vous démarrez votre système et accédez à l'écran de connexion GDM, vous devez trouver une roue dentée () à côté du bouton de connexion. Si vous cliquez sur la roue dentée, vous devriez trouver une option Ubuntu (et/ou Ubuntu sur Xorg ).
Choisissez Ubuntu (ou Ubuntu sur Xorg) au lieu de GNOME (ou GNOME sur Xorg).
Voyez ceci si vous n'avez pas installé Ubuntu Dock en premier lieu: paramètres du dock manquants dans gnome-control-center après la mise à niveau vers Ubuntu 17.1
Je vous suggère de vérifier si les packages suivants sont installés sur votre système:
ubuntu-session, ubuntu-settings, ubuntu-gnome-default-settings, ubuntu-standard
Après avoir installé ces paquets et redémarré, l'option de connexion Ubuntu apparaît dans le sélecteur GDM. Une fois cette option lancée, gnome ajoute l’élément de dock au gnome-control-center. Je ne sais pas quels paquets rendent cela possible. Mais cela fonctionne pour moi.
Je viens d'avoir le même problème avec gnome-control-center, après une (ré) installation minimale de Gnome 3 sur Ubuntu 17.10.
Dans mon cas, la solution consistait à installer gnome-Shell-extension-ubuntu-dock.