Как я могу остановить расширение Ubuntu Dock до краев?

11

По умолчанию Ubuntu Dock в Ubuntu 17.10 и более поздних выпусках всегда простирается до краев (сверху вниз, если размещены слева или справа и слева направо, если внизу), даже если он не заполнен значками.

Есть ли способ предотвратить такое поведение (т. Е. Я хочу сделать гибкую длину дока, так как количество значков приложений в док-станции увеличивается и должно соответственно увеличиваться)?

Другими словами, есть ли способ сделать Ubuntu Dock похожим на «правильный док» вместо боковой / нижней панели?

gnome-shell ubuntu-dock

— pomsky
источник

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

— pomsky
источник

1

Также, если вам нужен графический инструмент, установите dconf-editor и перейдите по указанному пути @pomsky (/ org / gnome / shell / extensions / dash-to-dock).

— Пи Джей Сингх,

2

Используя либо Gnome Tweak Tool, или https://extensions.gnome.org/local/ , отключите 17,10 встроенные Ubuntu Dockрасширения, и установить более настраиваемое Dash to Dockрасширение, и это даст вам короче док вы хотите.

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

— heynnema
источник

1

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

— Помский

1

@pomsky Я не знаю, если работа в режиме реального времени USB-сессии заставляет перезагрузить сеанс GNOME по умолчанию при перезапуске GNOME, или почему это не сработает. В реальном сеансе отключение встроенного Ubuntu Dockи включение Dash to Dockрасширения из extensions.gnome.org работает нормально, как и положено.

— Хейннема