Як я можу зупинити розширення Ubuntu Dock до країв?

11

За замовчуванням Ubuntu Dock в Ubuntu 17.10 та новіших версіях випусків завжди поширюється на краї (зверху-вниз, якщо розміщувати зліва або справа та зліва-направо, якщо розміщувати внизу), навіть коли він не заповнений піктограмами.

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

Іншими словами, чи є спосіб зробити Dobu Ubuntu схожим на "належний док" замість бічної / нижньої панелі?

gnome-shell ubuntu-dock

— помський
джерело

19

Відкрийте термінал і запустіть

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

Для повернення до «панельного режиму» запустіть

gsettings set org.gnome.shell.extensions.dash-to-dock extend-height true

— помський
джерело

1

Крім того, якщо ви хочете графічний інструмент, встановіть dconf-редактор та перейдіть до наданого шляху @pomsky (/ org / gnome / shell / extensions / dash-to-dock).

— PJ Singh

2

Використовуючи Gnome Tweak Toolабо https://extensions.gnome.org/local/ , відключіть вбудоване Ubuntu Dockрозширення 17.10 та встановіть Dash to Dockрозширення, яке можна налаштувати , і це дасть вам коротший док, який ви хочете.

https://extensions.gnome.org/extension/307/dash-to-dock/

— гейннема
джерело

1

Я спробував відключити Ubuntu Dock за допомогою Tweaks і extensions.gnome.org/local під час сеансу живого USB та перезапустив оболонку GNOME (сесія Xorg). Здається, вони не працюють, док залишається активним.

— pomsky

1

@pomsky Я не знаю, якщо робота в прямому сеансі USB змушує перезавантажувати сеанс gnome за замовчуванням при перезапуску gnome, або чому це не працює. У реальному сеансі відключення вбудованого Ubuntu Dockі ввімкнення Dash to Dockрозширення з extensions.gnome.org працює нормально, саме так, як і слід.

— heynnema