Extensões para o Gnome Shell

Publicado por Marcelo Theodoro em 17/07/2013

[ Hits: 12.446 ]

 


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

Placa Wireless Realtek RTL8191SEvA - Instalação do Driver no CentOS 6.x

Editando o seu profile

PacmanXG4-bin

Mudar a splash screen do Ubuntu 10.04

Como imprimir um documento no formato de livro de 4 páginas por folha

  

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