Como posso ocultar o Dock no GNOME?

13

Eu quero ocultar completamente o dock em 17.10. Não apenas quando sobrepostos, mas sempre. Eu tentei muitas extensões, mas nada funciona e a extensão mais promissora não existia. link

Nota: Minha interface do usuário é apenas janelas e papel de parede. Nada mais será permitido consumir meus preciosos pixels

    
por pcnate 24.11.2017 / 08:26

3 respostas

13

Você pode usar a seguinte extensão para ocultar completamente o Dock: link

Com essa extensão, você poderá ocultar o encaixe, mas manter os atalhos específicos do encaixe disponíveis. Para fazer isso, ative a extensão, entre nas configurações e faça o seguinte:

  • Ative a opção Autohide inteligente sob a Posição e tamanho guia.
  • Clique no ícone "Engrenagem" (⚙) ao lado da chave Liga / Desliga da opção Autohide inteligente para obter mais configurações.
  • Na nova janela de diálogo, desabilite as duas opções, Autohide e Dodge Windows .
    • A desativação do autohide manterá o dique escondido, mesmo que você tente mover o mouse até o local onde está o dock.
    • Desativar Esquivar janelas manterá o encaixe escondido, mesmo quando não estiver obstruído por nenhuma janela.

Como mencionado anteriormente, isso não irá desinstalar ou desabilitar o dock. Mas vai esconder completamente. Portanto, ele não será exibido na tela novamente, a menos que pelo menos uma das duas opções anteriores seja ativada novamente.

    
por Dan 24.11.2017 / 10:16
5

Você também pode fazê-lo com o Editor do dconf , que é uma ferramenta bastante útil se você gosta de ajustar sua área de trabalho.

Então, no Editor dconf, vá para /org/gnome/shell/extensions/dash-to-dock e desligue simultaneamente estes três suportes:

  • autohide
  • fixo pela doca
  • intellihide

E você tem doca visível apenas no modo de sobreposição (o mesmo que com a extensão recomendada pelo @Dan).

    
por Roman Bekkiev 09.03.2018 / 10:02
0

No Ubuntu 17.10 e 18.04 você pode desinstalar gnome-shell-extension-ubuntu-dock usando:

sudo apt remove gnome-shell-extension-ubuntu-dock

Isso removerá o dock do Ubuntu.

Você precisará reiniciar sua sessão do GNOME, você pode fazer isso saindo e voltando.

    
por psiphi75 15.05.2018 / 02:15