Para simplificar, uma extensão do GNOME Shell (também GNOME Extension) é qualquer parte do código que melhora e adiciona as funcionalidades da área de trabalho do GNOME. Pense nisso como um Google Chrome extensão ou Firefox add-on apenas para isso seu Ambiente de Desktop
GNOME Extensions pode ser usado para ajustar quase todos os aspectos do GNOME Desktop Environmentpor exemplo. personalização do comportamento do mouse; e também para exibir informações como clima, status da bateria, etc.
Há quase um número ilimitado de GNOME Extensions e a maneira mais conveniente de gerenciá-las é através do popular GNOME Tweak Tool então você precisa configurá-lo se ainda não o tiver instalado em seu sistema e pode instalá-lo através do seu Software Center ou seu terminal usando:
$ sudo apt install gnome-tweak-tool
Existem 3 maneiras de usar GNOME Extensions:
- Instale o pacote mínimo gratuito de extensões selecionadas para sua distro.
- Instalação em seu navegador da web.
- Instalação manual.
1. Instalação gratuita de pacote mínimo
Isso se refere ao conjunto mínimo de extensões que várias distribuições do Linux geralmente empacotam para seus usuários e, da última vez que verifiquei, continha 10 extensões. Instale-os por meio da CLI usando o seguinte comando:
$ sudo apt install gnome-shell-extensions
Uma vez concluída a instalação, reboot sua máquina, inicie a GNOME Tweak Tool , navegue até Extensions e clique para ativar as extensões que deseja usar.
Ativar extensões do Gnome
Se você quiser mais extensões do que as do pacote mínimo, continue lendo.
2. Instalação em seu navegador da Web
O Projeto GNOME tem um site dedicado às suas extensões Gnome e você pode instalar e gerenciar extensões preferidas diretamente do seu navegador sem a necessidade para usar GNOME Tweak Tool.
Gnome Shell Extensions
No entanto, você precisará ter um complemento específico do navegador e um conector de host nativo instalado em seu sistema. Siga qualquer um desses links para obter a extensão do navegador para Google Chrome, Firefox e/ou Opera.
Em seguida, instale o conector nativo usando o seguinte comando:
$ sudo apt install chrome-gnome-shell
Agora você pode abrir o site de extensões do GNOME, onde pode pesquisar, instalar e ativar suas extensões preferidas.
Você também pode configurar extensões individuais clicando no ícone de engrenagem ao lado de seu título no site ou por meio da GNOME Tweak Tool.
3. Instalação manual
Suponha que você esteja offline e precise configurar uma GNOME Extension, como você faz isso? Instalação manual. Dirija-se ao site para baixar o arquivo de extensão que você irá extrair e mover para o diretório ~/.local/share/gnome-shell/extensions.
Em seguida, abra o arquivo metadata.json dentro dele e verifique o valor de uuid e verifique se é o mesmo valor que o nome da pasta de extensão. Se não for, renomeie a pasta para o valor de uuid.
Em seguida, reinicie o GNOME Shell pressionando Alt+F2 e digitando r .
Restart GNOME Tweak Tool se já estiver em execução e você deve ver a extensão recém-instalada na seção de extensões onde você pode gerenciá-la como faria nos métodos listados anteriormente.
Desinstalar qualquer GNOME Extension é tão fácil quanto removê-los do site do GNOME installed extensions seção. E se você instalou as extensões manualmente, exclua os arquivos do diretório ~/.local/share/gnome-shell/extensions.
Você está familiarizado com os métodos de instalação de GNOME Shell Extensions? Diga-nos qual é o seu favorito na seção de comentários abaixo.