Estou usando o Arch. Procuro uma forma de fazer uma remoção da barra de titulo que o gnome coloca em alguns aplicativos; instalei a extensão AUR (en) - gnome-shell-extension-no-title-bar, porem ela não aparece no aplicativo de gerenciamento de extensão do gnome, assim não consegui usa-la.
1- Queria saber como faço para esta baixando extensões no gnome no arch? geralmente estou usando o aur, teria um metodo melhor
2- Qual extensão poderia remover a barra de titulo ?
3- Queria tambem diminuir a barra superior do gnome (onde fica a data, hora e outras coisas), alguma forma? usei o Arch Linux - gnome-tweaks 42beta+r14+g2d9d76c-3 (any), no entanto não aparece uma opção de reduzir o tamanho dela
Não aconselho o uso do AUR para a instalação de extensões. Use o AUR com prudência. No AUR recomendo prestar atenção na quantidade de votos que o pacote recebeu, nos comentários dos usuários na parte das avaliações, na data da última atualização do pacote (coteje a versão disponível com a fonte, ex. Github) e verificar o PKGBUILD do pacote.
Sugiro ponderação com a instalação de extensões no GNOME.