Jak mogę ukryć Docka w GNOME?

25

Chcę całkowicie ukryć dok w 17.10. Nie tylko w przypadku nakładania się, ale zawsze. Próbowałem wielu rozszerzeń, ale nic nie działa, a najbardziej obiecujące rozszerzenie nawet nie istniało. https://extensions.gnome.org/extension/1290/disable-ubuntu-dock/

Uwaga: Mój interfejs użytkownika to tylko okna i tapety. Nic innego nie może zużywać moich cennych pikseli

gnome-shell dock

— dziecięce
źródło

Jakie jest najbardziej obiecujące rozszerzenie, które nawet nie istniało?

— Videonauth

extensions.gnome.org/extension/1290/disable-ubuntu-dock

— pcnate

1

Masz zainstalowane poprawki? Jeśli tak, sprawdź, czy rozszerzenie Ubuntu-dock powinno być włączone na IRRC, spróbuj je wyłączyć.

— Videonauth

Już wyłącz tę maszynę. Sprawdzę rano.

— pcnate

Pinguj mnie, kiedy sprawdziłeś to z wynikami.

— Videonauth

20

Aby całkowicie ukryć Dock, możesz użyć następującego rozszerzenia: https://extensions.gnome.org/extension/307/dash-to-dock/

Dzięki temu rozszerzeniu będziesz mógł ukryć dok, ale pozostawić dostępne skróty właściwe dla doków. Aby to zrobić, włącz rozszerzenie, przejdź do jego ustawień i wykonaj następujące czynności:

Włącz opcję Inteligentne automatyczne ukrywanie na karcie Pozycja i rozmiar .
Kliknij ikonę „Gear” (⚙) obok przełącznika On / Off opcji Intelligent autohide , aby uzyskać więcej ustawień.
W nowym oknie dialogowym wyłącz obie opcje, Autohide i Dodge Windows .
- Wyłączenie AutoHide zachowa dok ukryte nawet jeśli starają się przesunąć kursor do miejsca, gdzie jest dok.
- Wyłączenie okien Dodge spowoduje ukrycie doku nawet wtedy, gdy żadne okno nie jest zasłonięte.

Jak wspomniano wcześniej, nie spowoduje to odinstalowania ani wyłączenia stacji dokującej. Ale całkowicie to ukryje. Nie będzie więc ponownie wyświetlany na ekranie, chyba że przynajmniej jedna z dwóch poprzednich opcji zostanie ponownie włączona.

— Dan
źródło

Zachowanie pozostaje po wyłączeniu rozszerzenia. Poprawiłem wygląd doku, zmieniając krycie tła (pojawił się dodatkowy duży półprzezroczysty prostokąt), więc wyłączyłem rozszerzenie, aby spróbować zresetować jakiekolwiek ustawienia. Po ponownym uruchomieniu bez włączenia okazało się, że domyślny myślnik jest automatycznie ukryty, jak chciał OP (i ja).

— Ctrl-C,

14

W Ubuntu 17.10, 18.04, 18.10 i 19.04 można odinstalować gnome-shell-extension-ubuntu-dockza pomocą:

sudo apt remove gnome-shell-extension-ubuntu-dock

Spowoduje to usunięcie stacji dokującej Ubuntu.

Musisz zrestartować sesję GNOME, możesz to zrobić, wylogowując się i ponownie logując.

— psiphi75
źródło

1

To jest właściwie najczystsze podejście imho.

— binaryanomaly

2

Zamiast wylogować się i ponownie zalogować, możesz także nacisnąć ALT+F2, wpisać „r”, a następnie nacisnąć enter. (ładuje to ponownie gnome-shell, ale utrzymuje otwarte okna!)

— antoineMoPa

@antoineMoPa, podejście „naciśnij ALT + F2” działa na sesji X11, ale nie na sesji Wayland (i prawdopodobnie nigdy nie będzie).

— psiphi75

10

Możesz to również zrobić za pomocą edytora dconf, który jest bardzo przydatnym narzędziem, jeśli lubisz podkręcać pulpit.

Tak więc w edytorze dconf przejdź /org/gnome/shell/extensions/dash-to-docki wyłącz jednocześnie te trzy rekwizyty:

automatyczne ukrywanie
naprawiony w stacji dokującej
intellihide

I masz zadokowany widoczny tylko w trybie nakładki (taki sam jak w przypadku rozszerzenia zalecanego przez @Dan).

— Roman Bekkiev
źródło

1

Będę musiał tego spróbować. Czy wiesz, czy mogę zachować skróty klawiszowe nawet przy ukrytej stacji dokującej?

— pcnate

1

@pcnate, Naprawdę nie wiem, ale skróty AFAIK zwykle są powiązane z poleceniami, a nie z elementami interfejsu użytkownika, więc najprawdopodobniej powinno działać.

— Roman Bekkiev,

Mogę potwierdzić, że skróty klawiszowe nadal działają.

— andersoyvind

1

Prawdopodobnie lepiej jest użyć tego gsettingsnarzędzia:

gsettings set org.gnome.shell.extensions.dash-to-dock autohide false && gsettings set org.gnome.shell.extensions.dash-to-dock dock-fixed false && gsettings set org.gnome.shell.extensions.dash-to-dock intellihide false

(uwaga: skondensowane w jednym wierszu, ponieważ wydaje się, że nie można wykonywać bloków kodu wieloliniowego w komentarzach)

— Desty

@Roman Twoja odpowiedź prowadzi do tego samego zachowania, co Ubuntu Gnome, który mi się podobał. To naprawdę wybieranie nitów, ale naprawdę podoba mi się wszechświat dystrybucji Linuksa, ponieważ jest tak bardzo różnorodny i konfigurowalny; całkowicie ortogonalne w stosunku do jednego uniwersalnego podejścia, które według mnie jest zgodne z MS (ale może to moje błędne przekonanie). Bez względu na to, jakie masz preferencje w zakresie projektowania interfejsu użytkownika i jego zachowania, znajdziesz dystrybucję Linuksa, która Ci odpowiada.

— Dohn Joe,

2

Najlepszą metodą na to w Ubuntu 18.04 jest użycie gsettings. Po co instalować rozszerzenia, jeśli istnieje na to czysty sposób?

Użyj następującego polecenia w terminalu, aby automatycznie ukryć dok

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

Uwaga: Większość poprawek, które chcesz zrobić z interfejsem użytkownika, można wykonać za pomocą gsettings.
Używaj man gsettingsi odkrywaj więcej.

— Jithin Pavithran
źródło

Minęło sporo czasu, odkąd na to spojrzałem, ale sprawdzę to.

— pcnate