Extension Manager, encontre e instale extensões do GNOME Shell

sobre o gerenciador de extensão

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

imagem de extensão

  • 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.

extensões instaladas

  • Nesta última versão as capturas de tela das extensões são mostradas.
  • Nos permitirá adicionar traduções para nossa língua.

tema escuro

  • 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.

encontrar extensão com o Extension Manager

  • 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 não suportadas

  • 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:

instalar gerenciador de extensão flatpack

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:

gerenciador de extensão do lançador

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.

atualização de idioma

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:

desinstalar app

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.


Deixe um comentário

Seu endereço de email não será publicado. Campos obrigatórios são marcados com *

*

*

  1. Responsável pelos dados: Miguel Ángel Gatón
  2. Finalidade dos dados: Controle de SPAM, gerenciamento de comentários.
  3. Legitimação: Seu consentimento
  4. Comunicação de dados: Os dados não serão comunicados a terceiros, exceto por obrigação legal.
  5. Armazenamento de dados: banco de dados hospedado pela Occentus Networks (UE)
  6. Direitos: A qualquer momento você pode limitar, recuperar e excluir suas informações.