Eu gostaria de experimentar o GNOME Shell no Ubuntu 10.10 novamente, depois de descartá-lo devido ao desperdício de espaço que as fontes não configuráveis estavam causando (estou usando um netbook). Eu li sobre o GNOME Tweak Tool, então me perguntei se eu poderia usá-lo para personalizar a interface do Shell. Qualquer ajuda apreciada.
Assim como o GNOME Shell, você deve ser capaz de compilar a ferramenta GNOME Tweak do seu repositório git , também. Eu não vejo razão para incompatibilidades se você estiver usando a versão mais recente de ambos, pois parece que ambos são suportados pelo GNOME.