Jak mogę powstrzymać dok Ubuntu przed rozszerzaniem się na krawędzie?

11

Domyślnie stacja dokująca Ubuntu w Ubuntu 17.10 i nowszych wersjach zawsze rozciąga się na krawędzie (od górnego paska do dołu, jeśli jest umieszczony po lewej lub prawej stronie i od lewej do prawej, gdy jest umieszczony na dole), nawet jeśli nie jest wypełniony ikonami.

Czy istnieje sposób, aby temu zapobiec (tzn. Chcę uelastycznić długość stacji dokowania, ponieważ liczba ikon aplikacji w stacji dokującej powinna się odpowiednio zwiększyć)?

Innymi słowy, czy istnieje sposób, aby Ubuntu Dock wyglądał jak „odpowiednia stacja dokująca” zamiast panelu bocznego / dolnego?

gnome-shell ubuntu-dock pomsky
źródło

Odpowiedzi:

19

Otwórz terminal i uruchom

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

Aby powrócić do „trybu panelu” uruchom

gsettings set org.gnome.shell.extensions.dash-to-dock extend-height true
pomsky
źródło
1
Ponadto, jeśli potrzebujesz narzędzia graficznego, zainstaluj edytor dconf i przejdź do ścieżki @pomsky podanej (/ org / gnome / shell / extensions / dash-to-dock).
PJ Singh
2

Używając albo Gnome Tweak Tool, albo https://extensions.gnome.org/local/ , wyłącz wbudowane Ubuntu Dockrozszerzenie 17.10 i zainstaluj bardziej konfigurowalne Dash to Dockrozszerzenie, a otrzymasz krótszą stację dokującą, której potrzebujesz.

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

heynnema
źródło
1
Próbowałem wyłączyć Dock Ubuntu za pomocą Tweaks i extensions.gnome.org/local w sesji Live USB i zrestartowałem powłokę GNOME (sesja Xorg). Wygląda na to, że nie działają, dok pozostaje aktywny.
pomsky
1
@pomsky Nie wiem, czy praca w sesji na żywo przez USB powoduje, że przeładowuje ona domyślną sesję gnome podczas ponownego uruchamiania gnome, ani dlaczego to nie działa. W prawdziwej sesji wyłączenie wbudowanego Ubuntu Docki włączenie Dash to Dockrozszerzenia z extensions.gnome.org działa poprawnie, tak jak powinno.
heynnema