答案1
你需要安装这个包:Debian 站点中的官方软件包
sudo apt install gnome-shell-extension-dashtodock
。
然后将您的 shell 重新加载到Alt+F2 r Enter
.
打开tweak tool
并查看extension
Dash To Dock
以修改您的方面。
图标大小限制更改图标大小
答案2
答案3
您可以使用以下命令更改大小:
gsettings set org.gnome.shell.extensions.dash-to-dock dash-max-icon-size 64