E foi lançado o Extension Manager 0.4 com verificador de compatibilidade, e mais. Confira as novidades e veja como instalar no Linux.
Extension Manager é um aplicativo que permite que você instale, configure e gerencie extensões do GNOME sem precisar envolver um navegador da Web ou qualquer pacote de “conector”. Basta instalar o Extension Manager e pronto, pronto.
O Extension Manager é um aplicativo muito simples que faz uma coisa (e faz bem) para espelhar o conteúdo do site do GNOME Extensions em extensions.gnome.org.
Se você não quiser visitar o site extensions.gnome.org para procurar extensões do GNOME Shell, você pode instalar este aplicativo e fazer todo o gerenciamento de extensões através dele.
Esse aplicativo permite que você gerencie facilmente suas extensões do GNOME Shell instaladas, semelhante ao que o aplicativo oficial do GNOME Extensions faz, mas também permite que você navegue no site extensions.gnome.org diretamente do aplicativo, se desejar instalar mais extensões em seu GNOME Área de Trabalho.
Agora, uma atualização considerável, o aplicativo Extension Manager 0.4, está sendo lançado no Flathub.
Novidades do Extension Manager 0.4
A nova atualização do Extension Manager 0.4 apresenta uma “interface de usuário totalmente adaptável e amigável para dispositivos móveis”, que é ideal se você redimensionar regularmente o aplicativo durante o uso, bem como relatórios de erros e falhas revisados; e suporte para o novo esquema de URL
gnome-extensions://.
Você notará que a chave de alternância para desativar todas as extensões foi movida para fora da barra de cabeçalho. Ele agora fica na parte superior da visualização “instalada”.
Os resultados da pesquisa de extensão são paginados (ou seja: separados em páginas de resultados que você clica em um botão para carregar) em vez de apresentar, como antes, uma lista de rolagem quase infinita.
Além disso, a ferramenta agora oculta extensões não suportadas por padrão. Existe uma configuração para substituir isso, caso você queira.
Quando aberto, o campo de ‘pesquisa’ do Extension Manager mostra sugestões de extensão.
Isso foi previamente codificado para Blur My Shell, mas agora é ampliado para oferecer suporte a uma variedade de sugestões de extensão populares e atualizadas com frequência.
Algo útil: o aplicativo agora possui um assistente de atualização integrado que você pode usar para verificar quais de suas extensões instaladas atualmente são compatíveis com versões diferentes da área de trabalho do GNOME antes de fazer a atualização.
Melhorias de desempenho e estabilidade, melhor detecção e manipulação de erros e pequenos ajustes na interface do usuário para melhor conformidade com as Diretrizes de Interface Humana do GNOME completam o registro de alterações.
Para saber mais sobre essa versão do Extension Manager, acesse a nota de lançamento.
Como instalar ou atualizar o Extension Manager
Para instalar a versão mais recente do Extension Manager nas principais distribuições Linux, use esse tutorial:
Como instalar o Gnome Extension Manager no Linux via Flatpak