По умолчанию Ubuntu Dock в Ubuntu 17.10 и более поздних выпусках всегда простирается до краев (сверху вниз, если размещены слева или справа и слева направо, если внизу), даже если он не заполнен значками.
Есть ли способ предотвратить такое поведение (т. Е. Я хочу сделать гибкую длину дока, так как количество значков приложений в док-станции увеличивается и должно соответственно увеличиваться)?
Другими словами, есть ли способ сделать Ubuntu Dock похожим на «правильный док» вместо боковой / нижней панели?
gnome-shell
ubuntu-dock
pomsky
источник
источник
Используя либо
Gnome Tweak Tool
, или https://extensions.gnome.org/local/ , отключите 17,10 встроенныеUbuntu Dock
расширения, и установить более настраиваемоеDash to Dock
расширение, и это даст вам короче док вы хотите.https://extensions.gnome.org/extension/307/dash-to-dock/
источник
Ubuntu Dock
и включениеDash to Dock
расширения из extensions.gnome.org работает нормально, как и положено.