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

25

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

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

gnome-shell dock

— pcnate
источник

Какое самое перспективное расширение, которого даже не существовало?

— Видеонавт

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