第538回 Ubuntu Dockをカスタマイズする：Ubuntu Weekly Recipe｜gihyo.jp … 技術評論社Ubuntuは17.10より、デスクトップシェルをUnityからGNOME Shellへと移行しました。その際にUnityのLauncher部分を担ったのが、GNOME Shellの拡張機能のひとつである「Dash to Dock」です。今回はその、Dash to Dockのカスタマイズ方法を紹介します。 Ubuntu DockとDash to Dock Ubuntuが使っている拡張機能の名前はより正確に言うと「Ubuntu Dock」です。これは本家Dash to Dockの別ブランチとして開発されています。なるべくオリジナルとの差分が小さくなるように開発しているため、masterブランチとの違いは主に、Ubuntuに合わせたテーマ・設定の採用と、設定画面の無効化ぐらいです。 Dash to DockとUbuntu Dockの関係については、UbuntuがGNOME Shellを正式に採
