Como ocultar o Dock no GNOME?

25

Eu quero esconder completamente o dock em 17.10. Não apenas quando sobrepostas, mas sempre. Eu tentei muitas extensões, mas nada funciona e a extensão mais promissora nem existia. https://extensions.gnome.org/extension/1290/disable-ubuntu-dock/

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

pcnate
fonte
Qual é a extensão mais promissora que nem existia?
Videonauth 24/11
1
Você tem ajustes instalados? Se sim, verifique se a extensão do ubuntu-dock deve ser ativada no IRRC, tente desativá-la.
Videonauth
Já desligue a máquina. Vou verificar de manhã.
pcnate
Ping-me quando você verificou com os resultados.
Videonauth

Respostas:

20

Você pode usar a seguinte extensão para ocultar completamente o Dock: https://extensions.gnome.org/extension/307/dash-to-dock/

Com esta extensão, você poderá ocultar a doca, mas manter os atalhos específicos da doca disponíveis. Para fazer isso, habilite a extensão, acesse suas configurações e faça o seguinte:

  • Habilite a opção Ocultar automaticamente na guia Posição e tamanho .
  • Clique no ícone "Engrenagem" (⚙) ao lado do botão Liga / Desliga da opção Ocultar automaticamente para obter mais configurações.
  • Na nova janela de diálogo, desative as duas opções, Ocultar automaticamente e Esquivar do Windows .
    Doca desativada
    • Desativar ocultar automaticamente manterá a estação oculta, mesmo se você tentar mover o mouse para onde ela está.
    • Desativar as janelas do Dodge manterá a doca oculta mesmo quando não estiver obstruída por nenhuma janela.

Como mencionado anteriormente, isso não irá desinstalar ou desativar o encaixe. Mas isso 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.

Dan
fonte
O comportamento permanece após desativar a extensão. Corrigi o problema da aparência do dock alterando a opacidade do plano de fundo (aparecia um retângulo semitransparente grande adicional), então desabilitei a extensão para tentar se as configurações seriam redefinidas. Depois de reiniciar sem ativar, parecia que o traço padrão está ocultando automaticamente conforme o OP (e eu) queria.
Ctrl-C
13

No Ubuntu 17.10, 18.04, 18.10 e 19.04, você pode desinstalar gnome-shell-extension-ubuntu-dockusando:

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

Isso removerá o dock do Ubuntu.

Você precisará reiniciar sua sessão do GNOME. Para fazer isso, efetue logout e logon novamente.

psiphi75
fonte
1
Esta é realmente a abordagem mais limpa imho.
Binaryanomaly
1
Em vez de sair e entrar novamente, você também pode pressionar ALT+F2, digitar 'r' e pressionar enter. (isso recarrega o gnome-shell, mas mantém as janelas abertas!)
antoineMoPa
@antoineMoPa, a abordagem "press ALT + F2" funciona em uma sessão X11, mas não em uma sessão de Wayland (e provavelmente nunca funcionará).
psiphi75 8/08
10

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

Portanto, no dconf Editor, vá /org/gnome/shell/extensions/dash-to-docke desligue simultaneamente esses três props:

  • ocultar automaticamente
  • fixo em doca
  • intellihide

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

Roman Bekkiev
fonte
1
Vou ter que tentar isso. Você sabe se posso reter atalhos de superchave mesmo com o dock oculto?
pcnate
1
@pcnate, realmente não sei, mas os atalhos do AFAIK geralmente estão vinculados a comandos, não a elementos da interface do usuário, por isso provavelmente deve funcionar.
Roman Bekkiev 16/03/19
Posso confirmar que os atalhos das superchaves ainda funcionam.
22818 Andersoyvind #
1
É provavelmente melhor usar a gsettingsferramenta para isso: gsettings set org.gnome.shell.extensions.dash-to-dock autohide false && gsettings set org.gnome.shell.extensions.dash-to-dock dock-fixed false && gsettings set org.gnome.shell.extensions.dash-to-dock intellihide false(nota: condensado em uma linha, porque não parece possível fazer blocos de código multi-linha nos comentários)
Desty
@ Roman Sua resposta leva ao mesmo comportamento que o Ubuntu Gnome, do qual eu vim gostar. Isso é realmente difícil, mas eu realmente amo o universo Linux de distribuições porque é muito diversificado e personalizável; totalmente ortogonal à abordagem de tamanho único que considero que a MS está seguindo (mas talvez seja um equívoco meu). Não importa quais sejam suas preferências no design e comportamento da interface do usuário, você encontrará uma distribuição Linux adequada para você.
Dohn Joe
2

O melhor método para fazer isso no Ubuntu 18.04 é usando gsettings. Por que instalar extensões quando existe uma maneira limpa de fazer isso?

Use o seguinte comando no terminal para ocultar automaticamente a doca

gsettings set org.gnome.shell.extensions.dash-to-dock dock-fixed false

Nota: A maioria dos ajustes que você deseja fazer com a interface do usuário pode ser feita usando gsettings.
Use man gsettingse explore mais.

Jithin Pavithran
fonte
Já faz algum tempo desde que olhei para isso, mas vou dar uma olhada.
pcnate