Ubuntuは17.
Ubuntu DockとDash to Dock
Ubuntuが使っている拡張機能の名前はより正確に言うと
Dash to DockとUbuntu Dockの関係については,
Dash to Dockそのものは,
- ※1
- その後も第293回,
第320回, 第347回, 第396回, 第418回, 第442回, 第467回と半年に一度の 「Ubuntu GNOME」 の紹介記事において, 毎回の動作確認対象として登場していたりします。ひょっとすると単一機能のソフトウェアとしては, 本連載で最も登場しているソフトウェアかもしれません。ちなみにUbuntu GNOME 15. 04の紹介記事である第369回では, 拡張機能そのものが 「第347回の項目と大きな差はありません」 と言及されていたためDash to Dockは表面上は登場しませんでした。ここまで読んだ人はお気づきかとは思いますが, これらの記事はすべていくやさんが執筆しています。
基本的な設定方法
Ubuntuの設定インターフェース
「Dockを自動的に隠す」
「アイコンのサイズ」
「表示位置」
より高度なカスタマイズ
Ubuntu Dockにおける設定項目は3種類程度ですが,
では,
なお,
パスにあるキーの値を表示する $ gsettings get パス キー パスにあるキーの値を変更する $ gsettings set パス キー 値 パスにあるキーの値を初期値に変更する $ gsettings reset パス キー
Ubuntu Dockのパスはorg.
」