Ubuntu 17.10にアップグレードしたばかりですが、Ubuntu Dock設定がありません。つまりgnome-control-center
、Dock設定は空白です。
「ubuntu-dock
」パッケージが欠落している可能性があると思いますが、ソフトウェアセンターのどこにも見つからないでしょう。
また、gnome-control-center
アップデート後に完全に欠落していたため、これを個別にインストールする必要がありました-これが関連しているかどうかはわかりません。
これは、GNOMEセッションのタイプを変更しても問題が解決しないため、gnome-control-centerでデフォルトでアクセスできないubuntu-dock設定とは異なると思います。GNOME *に行くと、Dock設定セクションがまったく表示されません。Ubuntu*に行くと、上記の空白のDock設定セクションが表示されます。
の出力apt-cache policy gnome-shell-extension-ubuntu-dock
:
rob@rob-pc:~$ apt-cache policy gnome-shell-extension-ubuntu-dock
gnome-shell-extension-ubuntu-dock:
Installed: (none)
Candidate: 0.7
Version table:
0.7 500
500 http://gb.archive.ubuntu.com/ubuntu artful/main amd64 Packages
500 http://gb.archive.ubuntu.com/ubuntu artful/main i386 Packages
rob@rob-pc:~$ apt-cache policy gnome-shell-extension-ubuntu-dock gnome-shell-extension-ubuntu-dock: Installed: (none) Candidate: 0.7 Version table: 0.7 500 500 http://gb.archive.ubuntu.com/ubuntu artful/main amd64 Packages 500 http://gb.archive.ubuntu.com/ubuntu artful/main i386 Packages
apt-cache policy gnome-shell-extension-ubuntu-dock
何ですか?