Extensões para o Gnome Shell

Publicado por Marcelo Theodoro em 17/07/2013

[ Hits: 10.911 ]

 


Extensões para o Gnome Shell



O seguinte site tem um série de extensões para melhorar a usabilidade do ambiente gráfico Gnome:
A instalação das extensões é algo extremamente simples. Tudo que você precisa fazer é entrar na página de uma determinada extensão é clicar no botão "OFF" ao lado do nome da extensão.

Depois, o próprio Gnome irá perguntar se deseja realmente instalar aquela extensão. Após a confirmação, o botão "OFF" fica "ON".

Caso queira remover a extensão, apenas entre na página dela novamente e clique no botão "ON", que voltará para "OFF" e a extensão já estará inativa.

Abaixo, uma lista das extensões que eu considero mais uteis:

1. Pomodoro: é uma técnica para produtividade. Essa extensão adiciona uma cronômetro no painel do Gnome, coisa que auxilia para usar a técnica. Clique aqui, para saber mais sobre a técnica:

Link da extensão:
2. To do list: adiciona uma lista de afazeres no painel do Gnome, muito útil para anotações de tarefas.

Link da extensão:
3. Remove Accessibility: caso você não use o ícone de acessibilidade, você pode remove-lo do painel com essa extensão.

Link da extensão:
4. Places Status Indicator: adiciona um ícone de acesso rápido aos arquivos e pastas.

Link da extensão:
5. AlternateTab: esta extensão permite que você utilize o Alt+Tab para alternar entre as janelas, ao invés de alternar entre grupos de aplicativos. Ou seja, se você tem duas janelas do mesmo navegador e utilizar o Alt+Tab, você não vai poder alternar entre elas, por padrão. Essa extensão permite que você consiga alternar entre as duas janelas desse navegador (essa é uma das extensões mais úteis pra mim).

Link da extensão:
6. Distraction-Free: essa extensão, basicamente, remove o painel quando há janelas abertas. Ou seja, a janela das aplicações ficam totalmente full-screen. Infelizmente, essa extensão não será atualizada mais, mas, até então, está rodando sem problemas no meu Debian 7 com Gnome 3.4.2.

Link da extensão:
Testei todas elas aqui e todas funcionaram sem maiores problemas, porém, há alguns comentários do pessoal reclamando de alguns bugs e incompatibilidades com algumas versões do Gnome.

Recomendo, antes de instalar, dar uma lida nos comentários nas páginas das extensões. ;)

Outras dicas deste autor
Nenhuma dica encontrada.
Leitura recomendada

MobileMediaConverter no Arch Linux e em distros Debian-like

slurm - Visualizando tráfego de rede pelo terminal

Personalizando a aparência do KDE no Mandriva One e superior

AdeskBar no Debian, em derivados e em outras distros

MATE 1.6 - Habilitando o compositor

  

Comentários
[1] Comentário enviado por Roldon em 16/09/2016 - 18:12h

Sabe como remover manualmente?
Instalei uma, mas ela está bugada, não funciona. E na página dela aparece ERROR ao invés de ON e OFF.

[2] Comentário enviado por Roldon em 16/09/2016 - 18:58h

Achei! Finalmente.

Só ir na pasta: ~/.local/share/gnome-shell/extensions/ e remover a pasta da extensão que quer desinstalar.



Contribuir com comentário




Patrocínio

Site hospedado pelo provedor RedeHost.
Linux banner
Linux banner
Linux banner

Destaques

Artigos

Dicas

Tópicos

Top 10 do mês

Scripts