Extensões para o Gnome Shell

Publicado por Marcelo Theodoro em 17/07/2013

[ Hits: 13.080 ]

 


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

Entrevista com Martin Michlmayr do Projeto Debian

Abraham "Maddog" Lincoln fala sobre Escravidão do Software

Melhores sites para quem gosta de games

Instalando fontes do Windows no Linux legalmente

Frases de Blavatsky no Fortune

  

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.

[3] Comentário enviado por diegoadler_ em 03/05/2020 - 20:17h


[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.


queria também !



Contribuir com comentário




Patrocínio

Site hospedado pelo provedor RedeHost.
Linux banner

Destaques

Artigos

Dicas

Tópicos

Top 10 do mês

Scripts