¿Cómo puedo evitar que Ubuntu Dock se extienda hasta los bordes?

11

De forma predeterminada, Ubuntu Dock en Ubuntu 17.10 y versiones posteriores siempre se extiende hasta los bordes (barra superior a inferior si se coloca a la izquierda o derecha y de izquierda a derecha cuando se coloca en la parte inferior) incluso cuando no está lleno de iconos.

¿Hay alguna manera de prevenir este comportamiento (es decir, quiero que la longitud del muelle sea flexible, ya que el número de iconos de aplicaciones en el muelle aumenta y debería expandirse en consecuencia)?

En otras palabras, ¿hay alguna manera de hacer que Ubuntu Dock parezca un "dock apropiado" en lugar de un panel lateral / inferior?

gnome-shell ubuntu-dock pomsky
fuente

Respuestas:

19

Abrir terminal y ejecutar

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

Para volver al "modo panel", ejecute

gsettings set org.gnome.shell.extensions.dash-to-dock extend-height true
pomsky
fuente
1
Además, si desea una herramienta gráfica, instale dconf-editor y navegue a la ruta provista por @pomsky (/ org / gnome / shell / extensions / dash-to-dock).
PJ Singh
2

Usando el Gnome Tweak Tool, o https://extensions.gnome.org/local/ , deshabilite la Ubuntu Dockextensión incorporada 17.10 e instale la Dash to Dockextensión más configurable , y le dará el muelle más corto que desee.

https://extensions.gnome.org/extension/307/dash-to-dock/

heynnema
fuente
1
Intenté deshabilitar Ubuntu Dock usando Tweaks y extensions.gnome.org/local en una sesión USB en vivo y reinicié el shell GNOME (sesión Xorg). Parece que no están funcionando, el muelle permanece activo.
pomsky
1
@pomsky No sé si trabajar en una sesión USB en vivo hace que vuelva a cargar una sesión de gnome predeterminada al reiniciar gnome, o por qué eso no funcionaría. En una sesión real, deshabilitar el incorporado Ubuntu Docky habilitar la Dash to Dockextensión desde extensions.gnome.org funciona bien, tal como se supone que debe hacerlo.
heynnema