Come posso impedire a Ubuntu Dock di estendersi ai bordi?

11

Per impostazione predefinita, Ubuntu Dock in Ubuntu 17.10 e versioni successive si estende sempre ai bordi (barra in alto se posizionata a sinistra o destra e da sinistra a destra se posizionata in basso) anche quando non è piena di icone.

Esiste un modo per prevenire questo comportamento (ovvero voglio rendere flessibile la lunghezza del dock, poiché il numero di icone dell'applicazione nel dock aumenta dovrebbe espandersi di conseguenza)?

In altre parole, c'è un modo per far apparire Ubuntu Dock come un "dock corretto" anziché un pannello laterale / inferiore?

gnome-shell ubuntu-dock

— pomsky
fonte

19

Apri Terminale ed esegui

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

Per tornare alla "modalità pannello" eseguire

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

— pomsky
fonte

1

Inoltre, se vuoi uno strumento grafico, installa dconf-editor e vai al percorso fornito da @pomsky (/ org / gnome / shell / extensions / dash-to-dock).

— PJ Singh,

2

Usando il Gnome Tweak Tool, o https://extensions.gnome.org/local/ , disabilita l' Ubuntu Dockestensione integrata 17.10 e installa l' Dash to Dockestensione più configurabile , e ti darà il dock più corto che desideri.

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

— heynnema
fonte

1

Ho provato a disabilitare Ubuntu Dock usando Tweaks ed extensions.gnome.org/local in una sessione USB live e ho riavviato la shell GNOME (sessione Xorg). Sembra che non funzionino, il dock rimane attivo.

— pomsky,

1

@pomsky Non so se lavorare in una sessione USB in diretta fa ricaricare una sessione predefinita di gnome al riavvio di gnome, o perché non funzionerebbe. In una vera sessione, disabilitare l'integrato Ubuntu Docke abilitare l' Dash to Dockestensione da extensions.gnome.org funziona bene, proprio come dovrebbe.

— heynnema,