とってもお気に入りの GNOME extension
今回は、Ubuntu 18.04 LTS で使っている GNOME extension と extension管理ツールを紹介!
Panacier さんの Gno-Menu です。
https://extensions.gnome.org/extension/608/gnomenu/
アプリケーションの検索・起動、フォルダーやドライブのオープンさらにワークスペースの選択など、あればいいなぁと便利だと思われる機能すべてを盛り込んだシェルアプリです。
スタイルも良く、エンドユーザーのことをよく考えていると感心しています。
何が便利かというと、左側のアプリのカテゴリーフォルダにオンマウスするだけで、アプリのアイコンが一覧表示されます。
また、よく使うアプリの一覧もオンマウスだけで表示でき、ダッシュボードでは物足りないと思っていたので便利です。
自分の場合、ダッシュボードはシステム関連や動画・音楽関連、開発関連のアプリだけ表示させるというようにしています。
設定ダイアログでは全体の表示形式(normal,compact)、表示形式(grid,list)の選択やそのサイズなど細かく設定できるのも良いです。
毎日都度とても便利に使っています!
インストールは、
(1) Ubuntuソフトウエアで、「GNOMENU」を検索・インストールする。
(2) firefox で GNOME Shell integration アドオンを入れて、そこから検索・インストールする。
の2通りが便利かと。
GNOME Shell integration アドオンは、他のextensionを検索できるだけでなく、インストール済のextensionの状態変更、設定画面の表示、Upgradeされたかなどが分かるので、管理ツールとして使えるので良いと思います。週一ペースで表示し、チェックしてます。
インストールしていない方は是非お試しくださいませ。
あわせてこんな本も読んでおくと、いろいろカスタマイズできそうですね。