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

Respostas:

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