¿Cómo puedo ocultar el Dock en GNOME?

25

Quiero ocultar completamente el muelle en 17.10. No solo cuando se superponen, sino siempre. He probado muchas extensiones pero nada funciona y la extensión más prometedora ni siquiera existía. https://extensions.gnome.org/extension/1290/disable-ubuntu-dock/

Nota: Mi IU es solo ventanas y fondos de pantalla. Nada más podrá consumir mis preciosos píxeles

gnome-shell dock pcnate
fuente
¿Cuál es la extensión más prometedora que ni siquiera existía?
Videonauth
extensions.gnome.org/extension/1290/disable-ubuntu-dock
pcnate
1
¿Tienes ajustes instalados? En caso afirmativo, compruebe si la extensión ubuntu-dock debería activarse en IRRC, intente desactivarlo.
Videonauth
Ya apagó esa máquina. Lo revisaré en la mañana.
pcnate
Hazme un ping cuando lo hayas comprobado con los resultados.
Videonauth

Respuestas:

20

Puede usar la siguiente extensión para ocultar completamente el Dock: https://extensions.gnome.org/extension/307/dash-to-dock/

Con esta extensión, podrá ocultar el dock pero mantener disponibles los accesos directos específicos del dock. Para hacer eso, habilite la extensión, vaya a su configuración y haga lo siguiente:

  • Active la opción de ocultación automática inteligente en la pestaña Posición y tamaño .
  • Haga clic en el icono "Engranaje" (⚙) junto al interruptor de encendido / apagado de la opción de ocultación automática inteligente para obtener más configuraciones.
  • En la nueva ventana de diálogo, deshabilite ambas opciones, Autohide y Dodge Windows .
    Muelle discapacitado
    • Desactivar el ocultamiento automático mantendrá el dock oculto incluso si intentas mover el mouse hacia donde está el dock.
    • Deshabilitar las ventanas Dodge mantendrá el muelle oculto incluso cuando no esté obstruido por ninguna ventana.

Como se mencionó anteriormente, esto no desinstalará ni deshabilitará el dock. Pero lo ocultará por completo. Por lo tanto, no volverá a aparecer en la pantalla a menos que al menos una de las dos opciones anteriores esté habilitada nuevamente.

Dan
fuente
El comportamiento permanece después de deshabilitar la extensión. Modifiqué la apariencia del muelle cambiando la opacidad del fondo (apareció un rectángulo semitransparente grande adicional), así que desactivé la extensión para probar si se restablecería alguna configuración. Después de reiniciar sin habilitar, parecía que el guión predeterminado se oculta automáticamente como OP (y yo) quería.
Ctrl-C
14

En Ubuntu 17.10, 18.04, 18.10 y 19.04 puede desinstalar gnome-shell-extension-ubuntu-dockusando:

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

Esto eliminará el muelle de Ubuntu.

Deberá reiniciar su sesión de GNOME, puede hacerlo cerrando la sesión y volviendo a iniciarla.

psiphi75
fuente
1
Este es en realidad el enfoque más limpio en mi humilde opinión.
binaryanomaly
2
En lugar de cerrar sesión y volver a iniciarla, también puede presionar ALT+F2, escribir 'r' y luego presionar enter. (¡esto recarga gnome-shell pero mantiene las ventanas abiertas!)
antoineMoPa
@antoineMoPa, el enfoque "presione ALT + F2" funciona en una sesión X11, pero no en una sesión de Wayland (y probablemente nunca lo hará).
psiphi75
10

También puede hacerlo con dconf Editor, que es una herramienta bastante útil si le gusta ajustar su escritorio.

Entonces, en dconf Editor, vaya /org/gnome/shell/extensions/dash-to-docky apague simultáneamente estos tres accesorios:

  • auto-escondite
  • fijo en el muelle
  • intellihide

Y tiene su base visible solo en modo de superposición (lo mismo que con la extensión recomendada por @Dan).

Roman Bekkiev
fuente
1
Tendré que probar esto. ¿Sabes si puedo conservar los atajos de superclave incluso con el muelle oculto?
pcnate
1
@pcnate, Realmente no lo sé, pero los atajos de AFAIK generalmente están vinculados a comandos, no a elementos de la interfaz de usuario, por lo que lo más probable es que funcione.
Roman Bekkiev
Puedo confirmar que los atajos de superclave aún funcionan.
andersoyvind
1
Probablemente sea mejor usar la gsettingsherramienta para esto: 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 en una línea porque no parece posible hacer bloques de código de varias líneas en los comentarios)
Desty
@Roman Tu respuesta lleva al mismo comportamiento que Ubuntu Gnome que me gustó. Esto es realmente difícil, pero realmente me encanta el universo Linux de distribuciones porque es muy diverso y personalizable; totalmente ortogonal al enfoque de talla única que considero que MS está siguiendo (pero tal vez sea una idea errónea mía). No importa cuáles sean sus preferencias en el diseño y el comportamiento de la interfaz de usuario, encontrará una distribución de Linux que se adapte a usted.
Dohn Joe
2

El mejor método para hacer esto en Ubuntu 18.04 es mediante el uso gsettings. ¿Por qué instalar extensiones cuando hay una forma limpia de hacerlo?

Use el siguiente comando en la terminal para ocultar automáticamente el muelle

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

Nota: La mayoría de los ajustes que desea hacer con su IU se pueden hacer usando gsettings.
Usa man gsettingsy explora más.

Jithin Pavithran
fuente
Ha pasado bastante tiempo desde que vi esto, pero lo comprobaré.
pcnate