Destaques
- Instala extensões do GNOME Shell a partir de um aplicativo de desktop.
- Lista extensões já instaladas no ambiente GNOME atual.
- Ativa ou desativa extensões individuais do GNOME.
- Fornece detalhes de extensões e controles de gerenciamento em uma única interface.
Sobre este aplicativo
Extension Manager é uma aplicação Linux para trabalhar com extensões do GNOME Shell. Fornece uma interface gráfica para encontrar extensões, instalá-las e gerir as extensões já presentes numa sessão do ambiente de trabalho GNOME. O programa é útil quando um utilizador quer tratar das extensões dentro de uma janela nativa do ambiente de trabalho, em vez de através de uma página de navegador.
A aplicação está centrada nas GNOME Extensions e não gere extras para outros ambientes de trabalho. Pode ser usada para revisar os itens instalados, alterar o seu estado de ativação e acessar os detalhes das extensões quando disponíveis. Como se destina ao ambiente de trabalho GNOME em Linux, a sua utilidade depende de se executar um ambiente GNOME Shell compatível.
Onde obter
Linux
- Abrir no FlathubAbre em uma nova abaRepositório de pacotesFlathub
Do publicador
Instalar pelo terminal
flatpak install flathub com.mattjakeman.ExtensionManager
Não hospedamos este arquivo, não fazemos varredura nele nem inspecionamos seu conteúdo. Leia o que a fonte diz e decida por conta própria.