「ExtensionManager」アプリは、GNOMEシェル拡張機能のインストールと管理を支援します

簡単に： Extension Managerは、GNOMEの公式Extensionsアプリに代わるエキサイティングな非公式の代替手段であり、GNOMEシェル拡張機能の管理に役立ちます。よく見てみましょう。

GNOME拡張機能は非常に便利です。もちろん、それらの多くを使用することはあなたの問題に対する最良の解決策ではないかもしれません。

ただし、Linuxディストリビューションでデスクトップワークフローを微調整するためにGNOME拡張機能に依存している場合は、すべての拡張機能を管理するための便利なオプションが時間を節約するのに役立ちます。

GNOMEチームはすでにあなたに「拡張機能」アプリを使用して、GNOME拡張機能を構成および管理します。ただし、すべてのLinuxディストリビューションにプリインストールされているわけではありません。

それで、あなたは公式の拡張機能アプリを使うべきですか、それとももっと良いものがありますか？

まあ、技術的には、それはあなたのユースケースと要件に依存します。しかし、 「エクステンションマネージャー」を使用すると、GNOMEシェル拡張機能を管理できると同時に、ブラウザを使用せずに新しい拡張機能を検索してインストールできます。

エクステンションマネージャー：「エクステンション」の代替

すでに「拡張機能」がインストールされている場合は、これを使用する大きな理由がない可能性があります。

ただし、ExtensionManagerでは マット・ジェイクマン、新しいGNOME拡張機能を簡単に有効化/無効化、構成、およびインストール/アンインストールするための便利なアプリを入手できます。

Webページやブラウザアドオンなどを含むGNOME拡張機能をインストールするために、通常の方法に従う必要はなくなりました。

利用可能なGNOME拡張機能を検索してインストールするための個別のタブがあります。

上のスクリーンショットでわかるように、GNOME Shellのバージョン番号を微調整して、サポートされているかどうかを確認する必要はありません。このアプリは、拡張機能がシステムでサポートされているかどうかを直接強調表示します。

したがって、最高のGNOME拡張機能を簡単に調べて、それが機能するかどうかを確認できます。

さらに、拡張機能をクリックすると、拡張機能について詳しく調べることもできます。これにより、情報の表示方法が改善される可能性がありますが、ほとんどの場合は十分なはずです。

機能を要約すると：

疑問に思っている場合：ExtensionsとExtension Managerの違いは何ですか？

これが スクリーンショットの比較：

全体的に、ユーザーインターフェイスは少し異なります。ただし、WebからGNOME拡張機能を検索/インストールする機能を除いて、ほとんど同じです。

ただし、Extension Managerを使用して、テーマを明るい/暗い（またはシステム環境設定に従う）に切り替えることができます。拡張機能を使用すると、アプリはデフォルトでシステムテーマを追跡します。

公式リポジトリを使用すると、Ubuntu22.04LTSに拡張機能マネージャーを簡単にインストールできます。

したがって、ソフトウェアセンターで検索するか、次のコマンドを使用してターミナルからインストールできます。

sudo apt install gnome-shell-extension-manager

その他のLinuxディストリビューションについては、Flatpakガイドを参照して、で入手可能なFlatpakパッケージをインストールできます。 Flathub。

ArchLinuxディストリビューション用のAURでも利用できるはずです。

そのに向かう GitHubページアプリやその他のインストール方法について詳しく知ることができます。

GNOMEシェル拡張の管理を支援するために何を好みますか？コメントであなたの考えを自由に共有してください。