Як я можу приховати док-станцію в GNOME?

25

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

Примітка. Мій інтерфейс користувача - це лише вікна та шпалери. Більше нічого не дозволяється споживати мої дорогоцінні пікселі

gnome-shell dock

— pcnate
джерело

Яке найбільш перспективне розширення, яке навіть не існувало?

— Videonauth

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

— pcnate

1

У вас встановлено налаштування? Якщо так, перевірте наявність ubuntu-dock-розширення, його слід переключити на IRRC, спробуйте вимкнути це.

— Videonauth

Вже вимкніть цю машину. Я зранку перевірю.

— pcnate

Пінг мені, коли ви перевіряли це з результатами.

— Videonauth

20

Ви можете використовувати таке розширення, щоб повністю приховати док-станцію: https://extensions.gnome.org/extension/307/dash-to-dock/

За допомогою цього розширення ви зможете приховати док-станцію, але збережете доступні специфічні ярлики. Для цього увімкніть розширення, увійдіть у його налаштування та виконайте наступне:

Увімкніть опцію " Інтелектуальна автозаховання " на вкладці " Положення та розмір" .
Клацніть на піктограму "Шестірня" (switch) біля перемикача "Увімк. / Вимкн.", Щоб отримати додаткові налаштування.
У новому діалоговому вікні вимкніть обидві параметри, автозахист та ухилення Windows .
- Якщо вимкнути функцію автоховання , док буде приховано, навіть якщо ви спробуєте перенести мишу туди, де знаходиться док.
- Якщо вимкнути вікна Dodge , док буде приховано навіть тоді, коли його не перешкоджає жодне вікно.

Як вже було сказано раніше, док-станція не видалить і не відключить. Але це повністю приховає. Таким чином, він більше не відображатиметься на екрані, якщо принаймні один із двох попередніх параметрів знову не ввімкнено.

— Ден
джерело

Поведінка залишається після відключення розширення. Я помилив зовнішній вигляд дока, змінивши непрозорість фону (з'явився додатковий великий напівпрозорий прямокутник), тому я відключив розширення, щоб спробувати відновити будь-які параметри. Після перезапуску без включення виявилося, що тире за замовчуванням автоматично ховається так, як хотів ОП (і я).

— 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. Це можна зробити, вийшовши з системи і знову ввійти.

— псифі75
джерело

1

Це насправді найчистіший підхід imho.

— бінаномалія

2

Замість того, щоб вийти та знову увійти, ви також можете натиснути ALT+F2, ввести 'r', а потім натиснути клавішу Enter. (це перезавантажує gnome-shell, але тримає вікна відкритими!)

— antoineMoPa

@antoineMoPa, "натисніть ALT + F2" підхід працює на сесії X11, але не в сесії Wayland (і, мабуть, ніколи не буде).

— psiphi75

10

Ви також можете це зробити за допомогою редактора dconf, який є досить корисним інструментом, якщо ви хочете налаштувати робочий стіл.

Отже, в редакторі dconf перейдіть /org/gnome/shell/extensions/dash-to-dockі вимкніть одночасно ці три реквізити:

автозахист
док-фіксований
інтеліхід

А у вас док-станція видно лише в режимі накладання (те саме, що і з розширенням, рекомендованим @Dan).

— Роман Беккієв
джерело

1

Мені доведеться спробувати це. Чи знаєте ви, чи можу я зберегти ярлики суперкілька навіть із прихованим доком?

— pcnate

1

@pcnate, насправді не знаю, але ярлики AFAIK зазвичай пов'язані з командами, а не елементами інтерфейсу, тому, швидше за все, це має працювати.

— Роман Беккієв

Я можу підтвердити, що ярлики суперкей все ще працюють.

— andersoyvind

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