全国2兆4000億人のGNOME3ファンの皆さん、こんにちは。Extensions」をインストールすると更に使い勝手が良くなります。今回は、この拡張機能の導入方法とオススメを紹介します。Toolをインストールすると、GNOME3のカスタマイズを簡単に行えるようになります。ボタンの表示もできます。ディストリビューションによってはプリインストールされています。以下のコマンドを実行してインストールします。Extensionsを管理します。ディストリビューションによっては、すでにいくつかの拡張機能が追加されている場合があります。Extensionsのインストール以下のサイトをFirefoxで開きます。https://extensions.gnome.org/Firefoxプラグインをインストールする旨を聞かれるので、追加して許可します。インストールしたい拡張機能を選び、ページ左側のスイッチをONにします。インストールの確認画面になるので、「インストール」ボタンをクリックします。Toolで管理します。Toolを起動し直します。Shell左上のボタンをカテゴリ別のアプリケーションメニューに変更します。GNOME2やCinnamonなどと同様のスタイルになります。アクティビティもマウスカーソルを左上の端に移動すると(ホットコーナー)表示することができます。アプリの起動がうんと楽になります。Dockhttps://extensions.gnome.org/extension/307/dash-to-dock/アクティビティ画面上のドック(左のやつ)を他の画面でも表示できるようにします。デスクトップ画面を表示している時やマウスカーソルを左端に移動した時などにドックを表示できます。設定はいろいろカスタマイズできます。terminalhttps://extensions.gnome.org/extension/442/drop-down-terminal/画面上からニュルッとターミナルが降ってくるやつ。Guakeみたいなやつです。Shellに統合することができます。デザイン的にもかなり良いです。3.16の通知機能にも対応しています。Shellのテーマを変更できるようになります。テーマはGnome-lookで探しましょう。5もいろいろなディストリビューションで採用され始めましたね。XDできれいな縁取り文字を作成する方法この記事をシェアするURLをコピーTwitterFacebookはてブプライバシーポリシ。