デフォルトでgnome-control-centerでubuntu-dock設定にアクセスできない

最近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を取得する恒久的な方法があるかどうか知りたい

Ubuntu GNOME 17.04からアップグレードした場合、デフォルトのGNOMEセッションはログイン時に選択できるように残ります。その上に、Ubuntuによってカスタマイズされたまったく新しいGNOMEセッション（単にUbuntuおよび/またはXorg上のUbuntu）が追加されます。

Ubuntuドック設定には、デフォルトのGNOMEセッションからではなく、UbuntuによってカスタマイズされたGNOMEセッションからのみアクセスできます。

システムを起動してGDMログイン画面を表示すると、サインインボタンの横に歯車（⚙️）が表示されます。歯車をクリックすると、Ubuntu（および/またはUbuntu on Xorg）オプションが表示されます。

GNOME（またはXorg上のGNOME ）ではなく Ubuntu（またはXorg上のUbuntu）を選択します。

そもそもUbuntu Dockをインストールしていない場合は、Ubuntu 17.10へのアップグレード後にgnome-control-centerでDock設定が欠落している場合に、これを参照してください。

次のパッケージがシステムにインストールされているかどうかを確認することをお勧めします。

ubuntu-session、ubuntu-settings、ubuntu-gnome-default-settings、ubuntu-standard

これらのパッケージをインストールして再起動すると、GDMセレクターにUbuntuログインオプションが表示されます。そのオプションで実行すると、gnomeはドック項目をgnome-control-centerに追加します。これを実現するパッケージはわかりません。しかし、それは私にとってはうまくいきます。

Ubuntu 17.10でGnome 3の最小限の（再）インストールを行った後、gnome-control-centerで同じ問題が発生しました。

私の場合、解決策はインストールすることgnome-shell-extension-ubuntu-dockでした。