私は最近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および/またはUbuntu on Xorg) )が追加されます。
Ubuntuドック設定は、UbuntuによってカスタマイズされたGNOMEセッションからのみアクセスできます。デフォルトのGNOMEセッションからはnotです。
システムを起動してGDMログイン画面に到達すると、サインインボタンの横に歯車(⚙️)が表示されます。歯車をクリックすると、Ubuntu(および/またはUbuntu on Xorg)オプションが見つかります。
Ubuntu(またはXorg上のUbuntu)代わりに GNOME(またはXorg上のGNOME)を選択します。
Ubuntu Dockを最初にインストールしていない場合は、これを参照してください。 buntu 17.10へのアップグレード後にgnome-control-centerにドック設定がありません
次のパッケージがシステムにインストールされているかどうかを確認することをお勧めします。
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
をインストールすることでした。