Instalando Extensões no GNOME Shell

O GNOME sempre foi conhecido por sua elegância e simplicidade quanto aos seus recursos de configuração por parte do usuário final. Mas atualmente, no GNOME Shell, o que mais tem recebido críticas tem sido seu minimalismo quando se faz necessário mudar alguma coisa no ambiente. Isso à primeira vista, pois todo seu ambiente foi projetado para trabalhar com extensões. Mas o que são essas extensões? De acordo com o site do GNOME:

"O projeto GNOME Shell extension foi concebido para proporcionar um alto nível de poder para as partes da interface do GNOME gerenciados pelo shell, tais como gerenciamento de janelas e lançamento de aplicação. Ela simplesmente roda em Java Script e CSS. Isso dá aos desenvolvedores uma maneira de fazer diversos tipos de alterações e compartilhar as alterações com os outros, sem ter que corrigir o código fonte original e recompilá-lo, e de alguma forma distribuir o código corrigido."

Em outras palavras, "extensões do GNOME Shell são pequenos pedaços de código escritos por desenvolvedores de terceiros que modificam a forma como GNOME funciona (Se você está familiarizado com as extensões do Chrome ou do Firefox, as extensões do GNOME Shell são semelhantes a elas)". Uma extensão do GNOME Shell pode ser usada para alterar a funcionalidade existente do GNOME Shell ou para fornecer funcionalidade adicional.

Mas como instalar uma extensão em nossa distribuição?

Se você leu nosso post sobre o  GNOME Tweak Tool perceberá que ferramenta há uma opção para gerenciar as extensões do shell. Como você ainda não instalou nenhuma extensão a sua estará como na figura abaixo:

Gerenciamento de extensões

Há duas formas confiáveis: instalando um pacote de extensões de sua própria distribuição (que estão nos repositórios) ou instalando uma extensão a partir do site de extensões do GNOME. Outra forma seria manualmente através do próprio GNOME Tweak Tool, desde que você tenha certeza da origem da extensão (não abordarei essa forma aqui).

No Debian Wheezy você instala o pacote de extensões com o seguinte comando: 

$ sudo aptitude install gnome-shell-extensions

Se você for tentar gerenciá-las nesses momento pelo GNOME Tweak Tool observará que nada aconteceu. É necessário reiniciar o shell; para isso segure a tecla ALT enquanto pressiona a tecla F2; no box lançador de aplicações digite apenas a letra "r" (sem as aspas).

Box lançador de aplicações

Agora você notará que um conjunto de extensões estão instaladas.

Extensões instaladas

Ao todo são instaladas trezes extensões com esse pacote. Não perderei tempo mencionando uma a uma, mas adianto que você ativa ou desativa cada uma apenas mudando a posição da chave correspondente no GNOME Tweak Tool. Você pode fuçar sem medo; se não gostar do resultado só terá de desabilitar a extensão correspondente. Algumas delas você terá de reiniciar o shell, como fizemos acima, para que elas funcionem; outras já funcionam assim que você as ativa.

Outra forma de instalar extensões é através do site oficial de Extensões do GNOME. Nesse caso, basta abrir qualquer navegador, visitar a página e ativar a chave correspondente à extensão que você deseja instalar. Basta aceitar sua instalação e pronto!

Página de extensões

Qualquer extensão instalada pelo site também é gerenciada pelo GNOME Tweak Tool ou pelo próprio site. Também é pelo site que você pode desinstalá-la no link "Installed extensions", bastando clicar no "x" ao lado de cada descrição da extensão. As extensões instaladas dos repositórios não podem ser desinstaladas pelo site, apenas ativadas ou desativadas.

Gerenciando extensões instaladas pelo site

Aconselho a experimentarem Coverflow Alt-Tab, Frippery Shut Down Menu e Remove User Name, só pra iniciarem. Mas eu estou utilizando muitas delas.

Com as extensões inúmeras são as possibilidades para o nosso sistema!