Como instalar extensões do Gnome Shell da maneira mais fácil com o Extension Manager

A instalação das extensões do Gnome Shell geralmente envolve a configuração de um navegador da Web, a instalação da extensão oficial do navegador Gnome Shell e a configuração do pacote “gnome-chrome-shell” que conecta o navegador à área de trabalho. É tedioso, especialmente para novos usuários.

Se você gosta de instalar extensões do Gnome Shell, mas deseja que sejam mais acessíveis, considere verificar o Extension Manager. Extension Manager é um programa que os usuários podem instalar no Linux que permite instalar qualquer extensão do Gnome Shell sem um navegador rapidamente. Veja como usar o Extension Manager em seu sistema.

Como instalar extensões do Gnome Shell da maneira mais fácil com o Extension Manager

Instalando o Extension Manager no Linux

O Extension Manager é suportado no Linux via Flatpak. Os usuários também podem configurar o aplicativo por meio do Arch Linux AUR. Abra uma janela de terminal na área de trabalho do Linux para iniciar a instalação.

Como você abre uma janela de terminal? Pressione Ctrl + Alt + T no teclado. Como alternativa, procure por “Terminal” no menu do aplicativo e inicie dessa forma. Siga as instruções de instalação abaixo com a janela do terminal aberta e pronta para uso.

Flatpak via Flathub

A melhor maneira de fazer o Extension Manager funcionar no seu sistema Linux é instalando o aplicativo como um Flatpak do Flathub. Para começar, você deve instalar o runtime Flatpak em seu sistema.

Para configurar o tempo de execução do Flatpak, instale o pacote “flatpak” no seu computador usando o terminal. Se você está tendo problemas para configurar o tempo de execução do Flatpak em seu sistema, siga nosso tutorial sobre como executá-lo .

Com o tempo de execução Flatpak funcionando em seu sistema, você pode instalar a loja de aplicativos Flathub usando o comando flatpak remote-add abaixo.

flatpak remote-add --if-not-exists flathub https://flathub.org/repo/flathub.flatpakrepo

Depois de adicionar a loja de aplicativos Flathub ao seu sistema, você poderá instalar o programa Extension Manager usando o comando flatpak install abaixo.

flatpak install flathub com.mattjakeman.ExtensionManager

Flatpak via GitHub

Embora recomendemos a instalação do Extension Manager em seu sistema por meio da loja de aplicativos Flathub, essa não é a única maneira de fazê-lo funcionar. Também é possível baixar o Extension Manager como um Flatpak autônomo diretamente do GitHub.

Nota: a instalação do Extension Manager como um Flatpak do GitHub só deve ser feita se você não puder instalar a versão Flathub do aplicativo.

Para iniciar a instalação, use o comando wget e baixe a versão mais recente do Extension Manager para o seu computador.

wget https://github.com/mjakeman/extension-manager/releases/download/v0.2.1/extension-manager.flatpak

Depois de baixar o pacote Extension Manager Flatpak, você pode instalá-lo em seu computador usando o comando flatpak install abaixo.

flatpak install extension-manager.flatpak

A instalação deve funcionar. No entanto, se o Flatpak se recusar a instalá-lo, pode ser que o Flatpak não tenha conseguido instalar os tempos de execução corretos.

Arch Linux

A ferramenta Extension Manager está disponível para os usuários instalarem através do Arch Linux User Repositor y. Para iniciar o processo de instalação, use o comando pacman para configurar os pacotes “git” e “base-devel”.

sudo pacman -S git base-devel

Após a instalação dos dois pacotes, instale a ferramenta auxiliar Trizen AUR . Este programa tornará a configuração do Extension Manager muito mais acessível.

git clone https://aur.archlinux.org/trizen.git

cd trizen/

makepkg -sri

Finalmente, instale o Extension Manager usando o comando trizen -S .

gerenciador de extensões trizen -S

Como instalar extensões do Gnome Shell da maneira mais fácil com o Extension Manager

Para instalar as extensões do Gnome Shell com o Extensions Manager, inicie o aplicativo. Em seguida, siga as instruções passo a passo abaixo.

Passo 1: Dentro do Extension Manager, encontre o botão “Browse” e selecione-o para acessar a área de pesquisa de extensão no aplicativo. Em seguida, clique na caixa de pesquisa e digite uma palavra-chave.

Por exemplo, se você deseja pesquisar “Dock from Dash”, digite-o na caixa de pesquisa.

Como instalar extensões do Gnome Shell da maneira mais fácil com o Extension Manager

Etapa 2: depois de digitar uma palavra-chave na caixa de pesquisa, os resultados da pesquisa aparecem instantaneamente. A partir daqui, clique na extensão no resultado da pesquisa para acessar a página de instalação da extensão.

Como instalar extensões do Gnome Shell da maneira mais fácil com o Extension Manager

Passo 3: Após acessar a página de instalação da extensão, localize o botão “Instalar” e selecione-o com o mouse. Quando você escolher o botão “Instalar”, ele baixará a extensão Gnome Shell e a instalará em seu computador.

Como instalar extensões do Gnome Shell da maneira mais fácil com o Extension Manager

Desinstalando extensões

Remover as extensões instaladas por meio do aplicativo Extension Manager é fácil. Para fazer isso, comece carregando o aplicativo Extension Manager. Depois de carregado, encontre a seção “Instalado” do aplicativo e clique nela com o mouse.

Uma vez dentro da seção “Instalado” do Extension Manager, procure a extensão que deseja remover da instalação do Gnome Shell. Depois de encontrar a extensão, selecione-a com o mouse, seguido do botão vermelho “Remover”.

Selecionar o botão vermelho “Remover” sob a extensão excluirá os arquivos do seu sistema e os desinstalará completamente. Repita este processo para se livrar de todas as extensões do Gnome Shell que deseja remover.

Leave a Comment

Conecte/controle computadores pela rede com o KontrolPack

Conecte/controle computadores pela rede com o KontrolPack

Controle computadores em sua rede com facilidade usando o KontrolPack. Conecte e gerencie computadores com diferentes sistemas operacionais sem esforço.

Emule cliques de teclado e mouse com Actionaz

Emule cliques de teclado e mouse com Actionaz

Você quer executar algumas tarefas repetidas automaticamente? Em vez de ter que clicar em um botão várias vezes manualmente, não seria melhor se um aplicativo

Downloader do BBC iPlayer para iPhone

Downloader do BBC iPlayer para iPhone

O iDownloade é uma ferramenta multiplataforma que permite ao usuário baixar conteúdo sem DRM do serviço iPlayer da BBC. Ele pode baixar vídeos no formato .mov

14 novos recursos do Thunderbird 3 que vão te deixar feliz

14 novos recursos do Thunderbird 3 que vão te deixar feliz

Temos abordado os recursos do Outlook 2010 em muitos detalhes, mas como ele não será lançado antes de junho de 2010, é hora de dar uma olhada no Thunderbird 3.

Baixe o FlightGear Flight Simulator gratuitamente [Divirta-se]

Baixe o FlightGear Flight Simulator gratuitamente [Divirta-se]

De vez em quando, todo mundo precisa de uma pausa. Se você está procurando um jogo interessante, experimente o Flight Gear. É um jogo multiplataforma de código aberto e gratuito.

Diagnósticos de MP3: corrija até 50 problemas com arquivos de áudio MP3

Diagnósticos de MP3: corrija até 50 problemas com arquivos de áudio MP3

O MP3 Diags é a ferramenta definitiva para corrigir problemas na sua coleção de áudio musical. Ele pode marcar corretamente seus arquivos MP3, adicionar capas de álbuns ausentes e corrigir VBR.

Aplicativos de notificação de desktop do Google Voice

Aplicativos de notificação de desktop do Google Voice

Assim como o Google Wave, o Google Voice gerou um burburinho em todo o mundo. O Google pretende mudar a forma como nos comunicamos e, como está se tornando

Baixe os favoritos do Flickr com o FlickrFaves

Baixe os favoritos do Flickr com o FlickrFaves

Existem muitas ferramentas que permitem aos usuários do Flickr baixar suas fotos em alta qualidade, mas existe alguma maneira de baixar os Favoritos do Flickr? Recentemente, viemos

OK Sampler é um software de amostragem de música gratuito

OK Sampler é um software de amostragem de música gratuito

O que é Sampling? Segundo a Wikipédia, “É o ato de pegar uma parte, ou amostra, de uma gravação sonora e reutilizá-la como um instrumento ou

Backup do Google Sites: Importar/Exportar

Backup do Google Sites: Importar/Exportar

O Google Sites é um serviço do Google que permite ao usuário hospedar um site no servidor do Google. Mas há um problema: não há uma opção integrada para fazer backup.