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
źródło
Odpowiedzi:
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:
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.
źródło
W Ubuntu 17.10, 18.04, 18.10 i 19.04 można odinstalować
gnome-shell-extension-ubuntu-dock
za pomocą:Spowoduje to usunięcie stacji dokującej Ubuntu.
Musisz zrestartować sesję GNOME, możesz to zrobić, wylogowując się i ponownie logując.
źródło
ALT+F2
, wpisać „r”, a następnie nacisnąć enter. (ładuje to ponownie gnome-shell, ale utrzymuje otwarte okna!)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-dock
i wyłącz jednocześnie te trzy rekwizyty:I masz zadokowany widoczny tylko w trybie nakładki (taki sam jak w przypadku rozszerzenia zalecanego przez @Dan).
źródło
gsettings
narzę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)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
Uwaga: Większość poprawek, które chcesz zrobić z interfejsem użytkownika, można wykonać za pomocą
gsettings
.Używaj
man gsettings
i odkrywaj więcej.źródło