Quais são as extensões mais populares do Mutter?

O Mutter é um gerenciador de janelas composto para o GNOME, que oferece vários recursos e efeitos para melhorar a experiência do usuário. Neste post, vamos apresentar algumas das extensões mais populares do Mutter, que podem ser instaladas através do site extensions.gnome.org ou do gerenciador de pacotes da sua distribuição Linux.

• Dash to Panel: Esta extensão combina o painel superior e o dash (a barra de ícones na lateral da tela) em um único painel horizontal, semelhante ao Windows ou ao KDE Plasma. Você pode personalizar a posição, o tamanho, a cor, a transparência e o comportamento do painel, além de adicionar indicadores, botões e menus extras.
• Dynamic Panel Transparency: Esta extensão permite ajustar a transparência do painel superior de acordo com o contexto, como a cor do papel de parede, a posição da janela ou o foco do mouse. Você pode definir diferentes níveis de opacidade para o painel maximizado, o painel dinâmico e o painel em modo de visão geral.
• GSConnect: Esta extensão integra o seu computador com o seu smartphone Android, usando o protocolo KDE Connect. Você pode enviar e receber arquivos, notificações, mensagens de texto e chamadas, controlar a reprodução de mídia, usar o smartphone como um touchpad ou um controle remoto, compartilhar a área de transferência e muito mais.
• Pop Shell: Esta extensão é desenvolvida pela System76, a empresa por trás da distribuição Pop!_OS, e oferece um modo de organização automática das janelas em uma grade, otimizando o espaço da tela. Você pode alternar entre o modo de grade e o modo flutuante, redimensionar e mover as janelas com o teclado ou o mouse, criar áreas de trabalho virtuais e definir regras para as aplicações.
• User Themes: Esta extensão permite aplicar temas personalizados para o shell do GNOME, que normalmente não são suportados pelo Mutter. Você pode baixar temas de sites como gnome-look.org ou criar os seus próprios usando CSS. Para alterar o tema do shell, você precisa usar o aplicativo GNOME Tweaks ou o comando gsettings.

Como instalar extensões no GNOME?

Vamos mostrar como instalar extensões no GNOME de forma fácil e rápida. Existem duas formas principais de fazer isso: pelo site do GNOME Extensions ou pelo gerenciador de pacotes da sua distribuição Linux.

Pelo site do GNOME Extensions

O site do GNOME Extensions é o lugar oficial para encontrar e instalar extensões para o GNOME. Lá, você pode navegar pelas categorias, pesquisar por palavras-chave ou ver as extensões mais populares ou recentes.

Para instalar uma extensão pelo site, você precisa ter instalado o plugin do navegador que permite a comunicação entre o site e o seu ambiente de desktop. Você pode baixar o plugin para o Firefox, Chrome ou Chromium neste link.

Depois de instalar o plugin, você pode ir ao site do GNOME Extensions e clicar no botão de ligar/desligar que aparece ao lado de cada extensão. Uma janela vai se abrir pedindo a sua confirmação para instalar a extensão. Clique em Instalar e pronto! A extensão já estará ativada no seu GNOME.

Você pode gerenciar as suas extensões instaladas pelo site clicando no ícone da engrenagem que aparece no canto superior direito da página. Lá, você pode desativar, remover ou configurar as suas extensões.