Tag: GNOME Extensions

Posts do autor

Como instalar o GNOME Extensions no Linux!

O GNOME Extensions lida com a atualização de extensões, configurando preferências de extensão e removendo ou desabilitando extensões indesejadas. Neste…

‘Extensions Manager’ do GNOME Shell recebe uma grande atualização

O Extensions Manager do GNOME Shell acaba de receber uma grande atualização, mesmo tendo praticamente acabado de estrear oficialmente. Assim,…

Desenvolvedor do Arc Menu GNOME abandona projeto

O desenvolvedor responsável pela extensão Arc Menu GNOME abandona o projeto e decidiu parar de trabalhar nela. Andy C é…

ArcMenu 38 adiciona layout inspirado no KRunner

Uma nova versão da extensão ArcMenu GNOME Shell está agora disponível no site GNOME Extensions (EGO).  O ArcMenu 38 apresenta…

Dash to Dock v67 chega com novas funções e suporte ao GNOME 3.34

Não sei você, mas nunca gostei do dock do Ubuntu. Desde a sua passagem para a Unity, não entendo como…

Como sincronizar extensões do GNOME Shell entre desktops

Se você usa mais um sistema operacional ou computador com o Gnome e precisa reinstalar todas as extensões a cada…

10 coisas para fazer depois de instalar o Ubuntu 19.04

Neste artigo, compartilhamos uma lista de coisas que podem ser interessantes para fazer depois de instalar (ou atualizar) para o…