Ubuntu Dockが端まで伸びないようにするにはどうすればよいですか？

11

デフォルトでは、Ubuntu 17.10以降のリリースのUbuntu Dockは、アイコンで満たされていない場合でも、常に端（左または右に配置する場合は上から下、左に配置する場合は左から右）に拡張します。

この動作を防ぐ方法はありますか（つまり、ドック内のアプリケーションアイコンの数が増えるとドックの長さを柔軟にし、それに応じて拡張する必要があります）。

言い換えれば、Ubuntu Dockをサイド/ボトムパネルではなく「適切なドック」のように見せるための方法はありますか？

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-editorをインストールし、指定された@pomskyのパス（/ org / gnome / shell / extensions / dash-to-dock）に移動します。

— PJシン

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/

— ヘネマ
ソース

1

ライブUSBセッションでTweaksとextensions.gnome.org/localを使用してUbuntu Dockを無効にし、GNOMEシェル（Xorgセッション）を再起動しました。動作していないようで、ドックはアクティブなままです。

— pomsky

1

@pomskyライブUSBセッションで作業すると、gnomeの再起動時にgnomeセッションのデフォルトがリロードされるかどうか、またはなぜそれが機能しないのかわかりません。実際のセッションでは、組み込み機能を無効にしUbuntu Dock、Dash to Dockextensions.gnome.orgから拡張機能を有効にすることは、本来の方法で正常に機能します。

— ヘイネマ