Confira a extensão Shell Configurator do GNOME, atualizada recentemente para suportar o GNOME 42.
Este complemento gratuito de código aberto torna incrivelmente fácil acessar as configurações avançadas de back-end da GNOME Shell (eu diria sem precisar usar a linha de comando ou uma ferramenta como dconf-editor mas essas configurações estão disponíveis lá, ao que parece).
Você tem um design limpo e organizado com configurações totalmente pesquisáveis que são claramente rotuladas para que você saiba qual opção faz o quê.
Entre as coisas que você pode fazer usando a extensão Shell Configurador do GNOME estão:
- Ajustar a velocidade de animações
- Mostrar/ocultar itens de barra superior
- Desativar separador de doca
- Configurar comportamento no espaço de trabalho
- Alterar a notificação e a posição do OSD
- Mover a barra de ferramentas da interface do usuário de captura de tela para cima (apenas GNOME 42)
Você definitivamente vai querer dar uma boa olhada através do que está disponível para ver se há uma definição ou configuração para livrar a interface do usuário de qualquer comportamento/elemento que você não gosta.
Presets vêm incluídos, assim como um plano 'personalizado' que você pode configurar para se adequar aos seus gostos.
Dá para perceber que quando a extensão é instalada e habilitada (mas nenhuma configuração é alterada), aumenta a altura da barra superior em 4 pixels ou mais do padrão do Ubuntu.
Shell Configurator parece um complemento útil para ter em mãos.
Embora haja outros utilitários de configuração, como o popular Just Perfection, ele vai apelar para aqueles que procuram a segurança de uma ferramenta com uma opção rápida de 'reset' (neste caso, mudando de volta para o perfil 'padrão').
Instalando a extensão 'Shell Configurador'
Quer experimentar? Shell Configurator é um software de código aberto gratuito. O código fonte está no Gitlab, e a versão mais recente está disponível para instalar no GNOME Shell (uma versão mais antiga da extensão Shell Configurator está disponível para versões GNOME Shel antes de 41/42).
Se você estiver no Ubuntu 22.04 LTS, a melhor maneira de instalar extensões do GNOME é usando a ferramenta Extensions Manager disponível nos repositórios.
