Extension Manager é um aplicativo muito simples que faz uma coisa (e faz bem), para espelhar o conteúdo do site GNOME Extensions em extensions.gnome.org.
O aplicativo permite gerenciar facilmente suas extensões instaladas do GNOME Shell, semelhante ao que o aplicativo oficial GNOME Extensions faz, mas também permite que você navegue no site extensions.gnome.org
diretamente de dentro do aplicativo se você quiser instalar mais extensões em sua área de trabalho GNOME.
O Extension Manager não só lista extensões de extensions.gnome.org
, mas também permite classificá-las por popularidade, downloads, recentes e nome. Um recurso exclusivo deste aplicativo é que ele mostra de relance se as extensões são suportadas ou não na instalação atual do GNOME.
Claro, você também pode remover, desativar e configurar extensões instaladas de dentro do aplicativo. Além disso, você pode visualizar vários detalhes sobre as extensões do GNOME Shell, incluindo capturas de tela, descrição e versões de desktop do GNOME suportadas.
Extension Manager é um aplicativo moderno feito com as mais recentes e melhores tecnologias, como GTK 4 e libadwaita. Como tal, oferece suporte para preferências de estilo escuro ou claro de dentro do aplicativo ou suporte para seguir o tema do sistema.
Por fim, o Extension Manager vem com um botão de switch mestre localizado no lado direito da barra de títulos para permitir que você desabilite rapidamente todas as extensões instaladas no ambiente de desktop GNOME.
Se você não quiser visitar o site extensions.gnome.org
para procurar extensões do GNOME Shell, você pode instalar este aplicativo como um Flatpak agora mesmo a partir de Flathub. Esta é a maneira recomendada de instalar este aplicativo, mas você também pode verificar o código-fonte na página do projeto no GitHub.