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 pour 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 était changer la variable XDG_CURRENT_DESKTOP depuis le terminal, puis lancer 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
Réponse acceptée :
Si vous avez effectué une mise à niveau à partir d'Ubuntu GNOME 17.04, la ou les sessions GNOME par défaut resteront à votre disposition lors de la connexion. En plus de cela, la ou les toutes nouvelles sessions GNOME personnalisées par Ubuntu (simplement nommées Ubuntu et/ou Ubuntu sur Xorg ) sera ajouté.
Le paramètre du dock Ubuntu n'est accessible qu'à partir de la ou des sessions GNOME personnalisées par Ubuntu, pas à 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 devriez trouver une roue dentée (⚙️) à côté du bouton de connexion. Si vous cliquez sur la roue dentée, vous devriez trouver un Ubuntu (et/ou Ubuntu sur Xorg ).
Choisissez Ubuntu (ou Ubuntu sur Xorg) au lieu de GNOME (ou GNOME sur Xorg).
Consultez 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.10