Как я могу спрятать док в GNOME?

25

Я хочу полностью спрятать док в 17.10. Не только когда перекрываются, но всегда. Я перепробовал много расширений, но ничего не работает, а наиболее многообещающее расширение даже не существовало. https://extensions.gnome.org/extension/1290/disable-ubuntu-dock/

Примечание. Мой пользовательский интерфейс - только окна и обои. Ничто другое не должно позволять потреблять мои драгоценные пиксели

pcnate
источник
Какое самое перспективное расширение, которого даже не существовало?
Видеонавт
1
У вас установлены твики? Если да, проверьте наличие расширения Ubuntu-Dock, на которое должно быть включено IRRC, попробуйте отключить его.
Видеонавт
Уже выключил эту машину. Я проверю утром.
pcnate
Пинг мне, когда вы проверили это с результатами.
Видеонавт

Ответы:

20

Вы можете использовать следующее расширение, чтобы полностью скрыть Dock: https://extensions.gnome.org/extension/307/dash-to-dock/

С помощью этого расширения вы сможете скрыть док-станцию, но при этом сохраните доступные для нее ярлыки. Для этого включите расширение, зайдите в его настройки и сделайте следующее:

  • Включите интеллектуальную опцию автоматического скрытия на вкладке « Положение и размер ».
  • Нажмите на значок «Передача» (⚙) рядом с переключателем «Вкл / Выкл» опции « Интеллектуальное автоматическое скрытие», чтобы получить дополнительные настройки.
  • В новом диалоговом окне отключите обе опции, Autohide и Dodge Windows .
    Док для инвалидов
    • Отключение автоматического скрытия будет держать док скрытым, даже если вы попытаетесь переместить мышь туда, где находится док.
    • Отключение окон Dodge будет держать док скрытым, даже если оно не закрыто никаким окном.

Как упоминалось ранее, это не приведет к удалению или отключению док-станции. Но это полностью скроет это. Таким образом, он не будет отображаться на экране снова, если хотя бы один из двух предыдущих вариантов снова не будет включен.

Дэн
источник
Поведение остается после отключения расширения. Я изменил внешний вид док-станции, изменив прозрачность фона (появился дополнительный большой полупрозрачный прямоугольник), поэтому отключил расширение, чтобы попытаться сбросить какие-либо настройки. После перезапуска без включения оказалось, что тире по умолчанию автоматически скрывается, как и хотел OP (и я).
Ctrl-C
14

В Ubuntu 17.10, 18.04, 18.10 и 19.04 вы можете удалить, gnome-shell-extension-ubuntu-dockиспользуя:

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

Это удалит док Ubuntu.

Вам нужно будет перезапустить сеанс GNOME, вы можете сделать это, выйдя из системы и войдя обратно.

psiphi75
источник
1
Это на самом деле самый чистый подход imho.
бинанома
2
Вместо того, чтобы выйти из системы и снова войти в нее, вы также можете нажать ALT+F2, набрать 'r', а затем нажать Enter. (это перезагружает оболочку gnome, но окна
остаются
@antoineMoPa, подход «press ALT + F2» работает в сеансе X11, но не в сеансе Wayland (и, вероятно, никогда не будет).
psiphi75
10

Вы также можете сделать это с помощью dconf Editor, который является довольно полезным инструментом, если вы хотите настроить свой рабочий стол.

Итак, в dconf Editor зайдите /org/gnome/shell/extensions/dash-to-dockи отключите одновременно эти три подпорки:

  • авто-скрытие
  • док фиксированной
  • intellihide

И у вас есть док, видимый только в режиме наложения (так же, как с расширением, рекомендованным @Dan).

Роман Беккиев
источник
1
Я должен попробовать это. Вы знаете, могу ли я сохранить ярлыки суперключей даже при скрытой доке?
pcnate
1
@pcnate, не знаю, но ярлыки AFAIK обычно связаны с командами, а не с элементами пользовательского интерфейса, поэтому, скорее всего, это должно работать.
Роман Беккиев,
Я могу подтвердить, что горячие клавиши все еще работают.
Андерсойвинд
1
Вероятно, лучше использовать 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(примечание: сжато в одну строку, потому что кажется невозможным делать многострочные блоки кода в комментариях)
Desty
@Roman Ваш ответ ведет к тому же поведению, что и Ubuntu Gnome, который мне понравился. Это действительно придирчивость, но мне очень нравится Linux-вселенная дистрибутивов, потому что она очень разнообразна и настраиваема; Полностью ортогональный подходу «один размер подходит всем», я считаю, что MS придерживается следующего (но, возможно, это мое неправильное представление). Независимо от ваших предпочтений в дизайне и поведении пользовательского интерфейса, вы найдете подходящий для вас дистрибутив Linux.
Дон Джо
2

Лучший способ сделать это в Ubuntu 18.04 - использовать gsettings. Зачем устанавливать расширения, когда есть чистый способ сделать это?

Используйте следующую команду в терминале, чтобы автоматически скрыть док

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

Примечание: большинство настроек, которые вы хотите сделать с вашим пользовательским интерфейсом, можно сделать с помощью gsettings.
Используйте man gsettingsи исследуйте больше.

Джитин Павитран
источник
Прошло довольно много времени с тех пор, как я посмотрел на это, но я проверю это.
pcnate