Como posso impedir que o Ubuntu Dock se estenda até as bordas?

11

Por padrão, o Ubuntu Dock no Ubuntu 17.10 e versões posteriores sempre se estendem até as bordas (barra de cima para baixo se colocado à esquerda ou direita e esquerda para a direita quando colocado na parte inferior), mesmo quando não está cheio de ícones.

Existe uma maneira de evitar esse comportamento (ou seja, eu quero flexibilizar o comprimento do dock, à medida que o número de ícones de aplicativos no dock aumenta, ele deve expandir de acordo)?

Em outras palavras, existe uma maneira de fazer o Ubuntu Dock parecer um "dock adequado" em vez de um painel lateral / inferior?

gnome-shell ubuntu-dock

— pomsky
fonte

19

Abra o Terminal e execute

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

Para reverter para o "modo de painel", execute

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

— pomsky
fonte

1

Além disso, se você quiser uma ferramenta gráfica, instale o dconf-editor e navegue até o caminho @pomsky fornecido (/ org / gnome / shell / extensions / dash-to-dock).

— PJ Singh

2

Usando o Gnome Tweak Tool, ou https://extensions.gnome.org/local/ , desabilite a Ubuntu Dockextensão interna 17.10 e instale a Dash to Dockextensão mais configurável , e você obterá a dock mais curta que desejar.

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

— heynnema
fonte

1

Tentei desabilitar o Ubuntu Dock usando Tweaks e extensions.gnome.org/local em uma sessão USB ao vivo e reiniciei o shell GNOME (sessão Xorg). Parece que eles não estão funcionando, o dock permanece ativo.

— Pomsky # 30/17

1

@pomsky Não sei se o trabalho em uma sessão USB ao vivo faz com que seja recarregada uma sessão gnome padrão ao reiniciar o gnome, ou por que isso não funcionaria. Em uma sessão real, desabilitar o built-in Ubuntu Docke habilitar a Dash to Dockextensão de extensions.gnome.org funciona bem, da maneira que deveria.

— heynnema