我最近转向了Ubuntu 17.10。从Gnome-Tweak-Tools启用ubuntu-dock扩展后,我发现在gnome-settings或gnome-control-center中没有用于定制Ubuntu-Dock的特定设置。我发现用于访问扩展坞设置的一个临时技巧是从终端更改XDG_CURRENT_DESKTOP变量,然后从那里启动gnome-control-center。
XDG_CURRENT_DESKTOP=ubuntu:GNOME gnome-control-center
我想知道是否有一些永久的方法可以在gnome-control-center中获取Ubuntu-Dock-Settings