Como instalar e usar extensões de shell gnome no Linux
O que são extensões de shell gnome?
Extensões de shell gnome, como o nome sugere, estenda a funcionalidade do gnome Shell Desktop. Eles trabalham um pouco semelhantes aos complementos do Chrome e Firefox. Uma extensão de shell é capaz de fazer coisas triviais, como esconder um ícone na bandeja do sistema, além de fornecer um aplicativo completo com base no gnome nativo ou em terceiros APIs. Essas extensões foram desenvolvidas por desenvolvedores oficiais do GNOME, mantenedores de distribuição e vários desenvolvedores de terceiros.
Instalando complementos de integração do navegador
Para instalar uma extensão do gnome shell em seu sistema, primeiro você deve permitir que um addon do navegador de conectores nativo recomendado pelos desenvolvedores do GNOME. Sem esse addon, você não poderá baixar e instalar extensões do repositório oficial de extensão disponível online.
O complemento de integração oficial do navegador Chrome pode ser instalado no Ubuntu usando o comando abaixo:
$ sudo apt install chrome-gnome-shell
Você também pode instalar este complemento da Chrome Web Store se não estiver disponível no repositório da sua distribuição.
O complemento de integração do gnome shell para o Firefox pode ser instalado a partir daqui.
Depois de instalar com sucesso o complemento, você verá um novo ícone do Gnome Paw em seu navegador quando o lançar na próxima vez.
Instalando extensões da loja de extensões on -line
Agora que a integração do navegador foi concluída, você está pronto para instalar algumas extensões. Vá para o repositório de extensões de shell gnome disponível aqui para navegar uma lista de extensões disponíveis. Por padrão, extensões para todas as versões do gnome shell são mostradas. Você pode clicar no menu suspenso "todas as versões" para diminuir os resultados para uma versão específica do shell.
Para verificar a versão do gnome Shell em seu sistema, execute o comando abaixo:
$ gnome-shell-versão
Para instalar uma extensão, clique em seu nome para ir à sua página de listagem detalhada.
Na página Detalhes da extensão, clique no botão ON / OFF para iniciar a instalação.
Clique no botão "Instalar" quando solicitado.
É isso, a extensão selecionada agora está instalada com sucesso em seu sistema. Algumas extensões exigem que você faça logout de uma sessão de desktop ativa para funcionar. É possível forçar a recarga do gnome Shell pressionando a tecla, inserindo a letra "R" na caixa de entrada visível e pressionando a tecla. No entanto, esse método pode causar comportamentos inesperados, falhas e congelamentos em seu sistema. Portanto, a solução ideal seria fechar todos os seus aplicativos em execução, logout e re-login.
Atualizando, configurando e removendo extensões da loja de extensões on -line
Você pode gerenciar facilmente extensões de shell instaladas no seu sistema na própria loja online. Vá para o link "Extensões instaladas" na barra superior para ver uma lista de todas as extensões instaladas no seu sistema. A partir daí, você pode atualizar (ícone de seta para cima), configurar (ícone da chave inglesa) e remover uma extensão (ícone cruzado).
Sincronização de extensões com sua conta do Google
Você pode sincronizar extensões de shell instaladas com sua conta do Google (somente Chrome). Clique com o botão direito do mouse no ícone de extensão do conector nativo na barra superior do Chrome para acessar suas opções.
Ativar a opção “Sincronizar a lista de extensões de shell do gnome” verificando a caixa de rádio na frente dela.
Gerenciando extensões usando o aplicativo Gnome Tweaks
Para configurar, habilitar e desativar as extensões de shell do GNOME na sua área de trabalho, você pode instalar o aplicativo Gnome Tweaks executando o comando abaixo:
$ sudo apt install gnome-tweaks
Depois de instalar o aplicativo, inicie o aplicativo "Tweaks" do lançador de aplicativos. Clique na entrada "Extensões" na barra lateral esquerda. A partir daqui, você pode alternar e configurar extensões. Este método funciona mesmo se você não tiver uma conexão ativa na Internet e não exige que você use a loja da web on -line para gerenciar extensões.
Gerenciando extensões usando um aplicativo oculto não visível no lançador de aplicativos
A execução do comando abaixo será lançada um aplicativo oculto dedicado ao gerenciamento de extensões.
$ GNOME-SHELL-EXTENSENT-PREFS
Este método funciona mesmo se você não tiver um aplicativo de ajustes instalado. Isso também não requer uma conexão ativa à Internet para funcionar.
Instalando extensões sem armazenamento baseado na Web e complementos de integração do navegador
Até agora, vimos que as extensões podem ser instaladas e gerenciadas usando a loja da web on -line e elas podem ser configuradas usando aplicativos de desktop offline também. No entanto, é possível ignorar completamente os complementos on-line de lojas e integração do navegador on-line.
Você pode usar a loja de aplicativos "Ubuntu Software" enviada por padrão no Ubuntu para instalar extensões de shell gnome. Inicie o aplicativo "Ubuntu Software" do lançador de aplicativos e acesse "complementos"> "Extensões de shell". Tudo o que você precisa fazer é clicar na lista de uma extensão para ir à sua página de detalhes e instalá -la a partir daí. Clicar em "Configurações de extensão" também lançará o aplicativo de gerenciamento de extensão oculto mencionado acima.
Conclusão
Usar as extensões do gnome Shell é uma boa maneira de estender sua área de trabalho com funcionalidade adicional. No entanto, a instalação de muitas extensões pode desacelerar sua área de trabalho e sempre existe o risco de uma extensão de comportamento mal travada por toda a área de trabalho. Como qualquer outro aplicativo de terceiros, você também deve variar de instalar qualquer extensão aleatória, pois sempre há uma mudança de aplicativo malicioso entrando no seu sistema. Embora quase todas as extensões sejam de código aberto, você deve instalá -las apenas de fontes conhecidas e confiáveis.