Ubuntu に Dash to Dock をインストール

Linux ディストリビューションでの設定のパーソナライズは、強調された機能の 1 つです。デスクトップの外観をカスタマイズするためのテーマ、アイコン、カーソル、および拡張機能がたくさんあります。 Dash to Dock はその 1 つです。

Dash to Dock は、Dock のさまざまな設定をカスタマイズするために使用できる GNOME 3 環境の拡張機能です。デフォルトの Ubuntu ドックを macOS スタイルのドックに変更することで、アプリケーションの起動と切り替えを迅速かつ簡単に行うことができます。

Dash to Dock を Ubuntu 20.10 にインストールする方法

「Dash to Dock」をインストールするには、GNOME Tweak Tool が必要です。このツールをお持ちでない場合は、次のコマンドで入手してください:

$ sudo apt install gnome-tweak-tool

「パッケージが見つかりません」というエラーが表示された場合は、次のコマンドで「universum」リポジトリを追加してください:

$ sudo add-apt-repository-universe

GNOME Tweak Tool を正常にインストールしたら、Dash to Dock 拡張機能をダウンロードします。

Dash to Dock をインストールするには、ブラウザーを開き、次の URL を開きます:

https://extensions.gnome.org/extension/

最初にブラウザ拡張機能をインストールするよう求められます。それをクリックしてインストールします。

インストール後、以下に示すように「アクセス許可」のプロンプトが表示されます。「追加」ボタンをクリックします。

拡張機能がインストールされ、次の図に示すように、ブラウザウィンドウの右上隅にアイコンが表示されます。

「Dash to Dock」拡張機能を探し、ボタンをクリックして「オン」に切り替えます。

「GNOME Tweak Tool」を起動し、「拡張機能」タブに移動して有効にします。

「ギア」アイコンをクリックして、この拡張機能の設定を調整してください。

最初に表示されるオプションは「位置とサイズ」です。次のようないくつかの設定があります:

次のタブは「ランチャー」タブです。このタブを使用して、Windows のプレビュー、ワークスペース、およびモニターを確認します。「アプリケーション」アイコンの位置を左右に移動したり、完全に非表示にしたりできます。ごみ箱を有効または無効にすることもできます。

[動作] タブで、キーボードショートカットをアプリケーションに割り当てることができます。次に、「クリックアクション」と「スクロールアクション」に機能を割り当てることができます。

このオプションは、ドックの外観を変更することに関するものです。最初のオプションは、件名を変更することです。デフォルトのテーマを割り当てたり、ドックの一部のオプションを個別にカスタマイズしたりできます。