Ich bin kürzlich zu Ubuntu 17.10 gewechselt. Nachdem ich die Ubuntu-Dock-Erweiterung von Gnome-Tweak-Tools aktiviert hatte, fand ich keine spezifischen Einstellungen zum Anpassen des Ubuntu-Docks in den Gnome-Einstellungen oder im Gnome-Control-Center. Ein vorübergehender Hack, den ich für den Zugriff auf die Dock-Einstellungen gefunden habe, war das Ändern der Variablen XDG_CURRENT_DESKTOP vom Terminal und das Starten des Gnome-Control-Centers von dort aus.
XDG_CURRENT_DESKTOP=ubuntu:GNOME gnome-control-center
Ich wollte wissen, ob es einen dauerhaften Weg gibt, um Ubuntu-Dock-Einstellungen im Gnome-Control-Center zu erhalten