簡単に： Extension Managerは、GNOMEの公式Extensionsアプリに代わるエキサイティングな非公式の代替手段であり、GNOMEシェル拡張機能の管理に役立ちます。 よく見てみましょう。 GNOME拡張機能は非常に便利です。 もちろん、それらの多くを使用することはあなたの問題に対する最良の解決策ではないかもしれません。 ただし、Linuxディストリビューションでデスクトップワークフローを微調整するためにGNOME拡張機能に依存している場合は、すべての拡張機能を管理するための便利なオプションが時間を節約するのに役立ちます。 GNOMEチームはすでにあなたに「拡張機能」アプリを使用して、GNOME拡張機能を構成および管理します。 ただし、すべてのLinuxディストリビューションにプリインストールされているわけではありません。 それで、あなたは公式の拡張機能アプリを使うべきですか、それとももっと良いものがありますか？ まあ、技術的には、それはあなたのユースケースと要件に依存します。 しかし、 「エクステンションマネージャー」を使用すると、GNOMEシェル拡張機能を管理できると同時に、ブラウザを使用せずに新しい拡張機能を検索してインストールできます。 エクステンションマネージャー：「エクステンション」の代替 すでに「拡張機能」がインストールされている場合は、これを使用する大きな理由がない可能性があります。 ただし、ExtensionManagerでは マット・ジェイクマン、新しいGNOME拡張機能を簡単に有効化/無効化、構成、およびインストール/アンインストールするための便利なアプリを入手できます。 Webページやブラウザアドオンなどを含むGNOME拡張機能をインストールするために、通常の方法に従う必要はなくなりました。 利用可能なGNOME拡張機能を検索してインストールするための個別のタブがあります。 上のスクリーンショットでわかるように、GNOME Shellのバージョン番号を微調整して、サポートされているかどうかを確認する必要はありません。 このアプリは、拡張機能がシステムでサポートされているかどうかを直接強調表示します。 したがって、最高のGNOME拡張機能を簡単に調べて、それが機能するかどうかを確認できます。 さらに、拡張機能をクリックすると、拡張機能について詳しく調べることもできます。 これにより、情報の表示方法が改善される可能性がありますが、ほとんどの場合は十分なはずです。 […]
The post 「ExtensionManager」アプリは、GNOMEシェル拡張機能のインストールと管理を支援します appeared first on Gamingsym Japan.