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
gnome-shell
dock
pcnate
fonte
fonte
Respostas:
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:
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.
fonte
No Ubuntu 17.10, 18.04, 18.10 e 19.04, você pode desinstalar
gnome-shell-extension-ubuntu-dock
usando:Isso removerá o dock do Ubuntu.
Você precisará reiniciar sua sessão do GNOME. Para fazer isso, efetue logout e logon novamente.
fonte
ALT+F2
, digitar 'r' e pressionar enter. (isso recarrega o gnome-shell, mas mantém as janelas abertas!)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-dock
e desligue simultaneamente esses três props:E você pode atracar visível apenas no modo de sobreposição (o mesmo que com a extensão recomendada por @Dan).
fonte
gsettings
ferramenta 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)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
Nota: A maioria dos ajustes que você deseja fazer com a interface do usuário pode ser feita usando
gsettings
.Use
man gsettings
e explore mais.fonte