今回は、Ubuntu 18.04 LTS で使っている GNOME extension と extension管理ツールを紹介！ Panacier さんの Gno-Menu です。https://extensions.gnome.org/extension/608/gnomenu/ アプリケーションの検索・起動、フォルダーやドライブのオープンさらにワー…