No próximo artigo, vamos dar uma olhada no Extension Manager. Este é um aplicativo não oficial que permitirá que os usuários pesquisem e instalem extensões do GNOME Shell a partir da área de trabalho. Todos eles sem a necessidade de usar o navegador da web, como de costume. O aplicativo é construído em GTK4 e libadwaita e está disponível para instalação no Flathub.
Hoje, além de permitir que os usuários pesquisem e instalem extensões que também são encontradas em extensions.gnome.org, essa ferramenta também Ele nos dará a possibilidade de habilitar ou desabilitar extensões, mostrar uma lista de extensões instaladas, acessar sua configuração ou desinstalá-las. O aplicativo ainda é bastante novo, teve seu primeiro lançamento há pouco tempo, embora já tenha recebido uma atualização na qual seu criador adicionou algumas das coisas que os usuários pediram.
Como eu disse, para sua primeira grande atualização de recursos, a ferramenta adiciona muitos dos recursos sugeridos. Entre as coisas que foram incluídas, podemos encontrar uma chave liga/desliga global (assim como a ferramenta oficial) e uma separação clara de extensões instaladas pelo usuário e extensões instaladas pelo sistema (organizado em ordem alfabética).
Recursos gerais do Extension Manager
- O aplicativo nos permitirá procure por extensões em extensions.gnome.org.
- deste software podemos instalar as extensões, se você precisar usar o navegador da Web ou o conector.
- Na tela do programa, podemos habilitar e desabilitar as extensões, além de poder desinstalá-las.
- Nesta última versão as capturas de tela das extensões são mostradas.
- Nos permitirá adicionar traduções para nossa língua.
- Nós teremos tema escuro e suporte para substituir o esquema de cores do sistema.
- Executa uma verificação de compatibilidade de versão do shell.
- O programa também tem alguns atalhos de teclado, embora no momento estes não contribuam muito.
- Isso nos dará a possibilidade de classificar resultados de pesquisa, embora mostre apenas o top 10 . Os filtros para classificar os resultados da pesquisa são baseados em popularidade, status atual, downloads ou nome. Essas são as mesmas opções disponíveis no site principal do GNOME Extensions.
- Agora mostre as extensões do usuário e do sistema separadamente.
- Esta nova versão adiciona melhor desempenho e estabilidade do que sua versão anterior.
- Extensões sem suporte agora são sinalizadas nos resultados procurar.
- O programa também mostra alguns detalhes das extensões que podemos encontrar. Além disso, cada extensão inclui um link para a página extensions.gnome.org.
Instale o Extension Manager para GNOME Shell no Ubuntu
O criador do indica que use o pacote Flatpak é a maneira recomendada de instalar o Extension Manager. Se você usa o Ubuntu 20.04 e ainda não tem essa tecnologia habilitada em seu sistema, pode continuar a guia um colega escreveu neste blog sobre isso.
Pode instale este aplicativo abrindo um terminal (Ctrl+Alt+T) e executando o seguinte comando nele:
flatpak install flathub com.mattjakeman.ExtensionManager
Após a instalação, para inicie o aplicativo, basta procurar o launcher em nosso computador, embora o aplicativo também possa ser iniciado abrindo um terminal (Ctrl+Alt+T) e executando o comando:
flatpak run com.mattjakeman.ExtensionManager
O Extension Manager foi traduzido para vários idiomas diferentes. Por padrão, o programa deve respeitar a linguagem do seu sistema desde o início. No entanto, pode ser necessário realizar algumas etapas extras para que o Flatpak reconheça a localidade escolhida.
Os comandos que aparecem de o repositório GitHub do projetopode ser uma solução para este problema. Após aplicá-lo, o Extension Manager deve respeitar o idioma do nosso sistema.
Desinstalar
Pára remova este aplicativo de nossa equipe, você só precisa abrir um terminal (Ctrl + Alt + T) e executar o comando nele:
flatpak uninstall com.mattjakeman.ExtensionManager
O Extension Manager é um software de código aberto gratuito e seu código-fonte pode ser encontrado postado em seu Repositório GitHub.