デフォルトでは、Ubuntu 17.10以降のリリースのUbuntu Dockは、アイコンでいっぱいになっていなくても、常に端(左または右に配置する場合は上から下、左に配置する場合は左から右)に拡張します。
この動作を防ぐ方法はありますか(つまり、ドック内のアプリケーションアイコンの数が増えるとドックの長さを柔軟にし、それに応じて拡張する必要があります)?
言い換えれば、Ubuntu Dockをサイド/ボトムパネルではなく「適切なドック」のように見せるための方法はありますか?
ターミナルを開いて実行する
gsettings set org.gnome.Shell.extensions.dash-to-dock extend-height false
「パネルモード」に戻るには、実行します
gsettings set org.gnome.Shell.extensions.dash-to-dock extend-height true
Gnome Tweak Tool
または https://extensions.gnome.org/local/ のいずれかを使用して、17.10組み込みUbuntu Dock
拡張機能を無効にし、より構成可能なDash to Dock
拡張機能を使用すると、希望する短いドックが得られます。