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…