我想把它改小一点。我记得我可以在设置→显示中更改它。但是，我在任何地方都找不到它。
我在 VMware 上使用 Debian 9.5。
答案1
你需要安装这个包：Debian 站点中的官方软件包
sudo apt install gnome-shell-extension-dashtodock。
然后将您的 shell 重新加载到Alt+F2 r Enter.
打开tweak tool并查看extension Dash To Dock以修改您的方面。
图标大小限制更改图标大小
答案2
我不是桌面 Debian 用户，而是基于 Gnome 的 Ubuntu 用户。
在 Ubuntu 18.4.1 LTS（仿生）中，转到“设置”应用程序，在“Dock”面板中有一个图标大小滑块。干杯
截图来自Ubuntu 18.4.1 LTS
截图来自乌班图20.10
答案3
您可以使用以下命令更改大小：
gsettings set org.gnome.shell.extensions.dash-to-dock dash-max-icon-size 64