最近Ubuntu17.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を取得する恒久的な方法があるかどうか知りたかった
承認された回答:
Ubuntu GNOME 17.04からアップグレードした場合でも、ログイン時にデフォルトのGNOMEセッションを選択できます。その上、Ubuntuによってカスタマイズされたまったく新しいGNOMEセッション(単に Ubuntu という名前) および/またはXorgのUbuntu )が追加されます。
Ubuntuドック設定には、UbuntuによってカスタマイズされたGNOMEセッションからのみアクセスできます。アクセスできません デフォルトのGNOMEセッションから。
システムを起動してGDMログイン画面が表示されると、サインインボタンの横に歯車(⚙️)が表示されます。歯車をクリックすると、 Ubuntuが表示されます。 (および/またはXorgのUbuntu )オプション。
代わりにUbuntu(またはXorg上のUbuntu)を選択します GNOME(またはXorgのGNOME)。
そもそもUbuntuDockがインストールされていない場合は、これを参照してください。Ubuntu17.10にアップグレードした後、gnome-control-centerにDock設定がありません