Я хочу полностью спрятать док в 17.10. Не только когда перекрываются, но всегда. Я перепробовал много расширений, но ничего не работает, а наиболее многообещающее расширение даже не существовало. https://extensions.gnome.org/extension/1290/disable-ubuntu-dock/
Примечание. Мой пользовательский интерфейс - только окна и обои. Ничто другое не должно позволять потреблять мои драгоценные пиксели
gnome-shell
dock
pcnate
источник
источник
Ответы:
Вы можете использовать следующее расширение, чтобы полностью скрыть Dock: https://extensions.gnome.org/extension/307/dash-to-dock/
С помощью этого расширения вы сможете скрыть док-станцию, но при этом сохраните доступные для нее ярлыки. Для этого включите расширение, зайдите в его настройки и сделайте следующее:
Как упоминалось ранее, это не приведет к удалению или отключению док-станции. Но это полностью скроет это. Таким образом, он не будет отображаться на экране снова, если хотя бы один из двух предыдущих вариантов снова не будет включен.
источник
В Ubuntu 17.10, 18.04, 18.10 и 19.04 вы можете удалить,
gnome-shell-extension-ubuntu-dock
используя:Это удалит док Ubuntu.
Вам нужно будет перезапустить сеанс GNOME, вы можете сделать это, выйдя из системы и войдя обратно.
источник
ALT+F2
, набрать 'r', а затем нажать Enter. (это перезагружает оболочку gnome, но окнаВы также можете сделать это с помощью dconf Editor, который является довольно полезным инструментом, если вы хотите настроить свой рабочий стол.
Итак, в dconf Editor зайдите
/org/gnome/shell/extensions/dash-to-dock
и отключите одновременно эти три подпорки:И у вас есть док, видимый только в режиме наложения (так же, как с расширением, рекомендованным @Dan).
источник
gsettings
инструмент для этого: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
(примечание: сжато в одну строку, потому что кажется невозможным делать многострочные блоки кода в комментариях)Лучший способ сделать это в Ubuntu 18.04 - использовать
gsettings
. Зачем устанавливать расширения, когда есть чистый способ сделать это?Используйте следующую команду в терминале, чтобы автоматически скрыть док
Примечание: большинство настроек, которые вы хотите сделать с вашим пользовательским интерфейсом, можно сделать с помощью
gsettings
.Используйте
man gsettings
и исследуйте больше.источник