もっと小さくしたいです。設定→ディスプレイで変更できたことを覚えています。しかし、どこにも見つかりません。
私はVMwareでDebian 9.5を使用しています。
答え1
このパッケージをインストールする必要があります。Debian サイトの公式パッケージ
sudo apt install gnome-shell-extension-dashtodock。
その後、シェルをAlt+F2 r Enter。
開いてtweak tool確認してextension Dash To Dock側面を編集します。
アイコンサイズ制限アイコンサイズの変更
答え2
私はデスクトップDebianユーザーではなく、GnomeベースのUbuntuユーザーです。
Ubuntu 18.4.1 LTS（Bionic）から設定アプリに移動すると、Dockパネルにアイコンサイズのスライダがあります。乾杯
スクリーンショットUbuntu 18.4.1 LTS
スクリーンショットUbuntu 20.10
答え3
以下を使用してサイズを変更できます。
gsettings set org.gnome.shell.extensions.dash-to-dock dash-max-icon-size 64