I installed Ubuntu 20.04 Focal Fossa yesterday. I think it's great so far and was able to customize a lot with the tools Tweaks and dconf Editor. However, unfortunately I have not yet managed to to reduce the size of GNOME Shell's dash icons.
There is an Ask Ubuntu solution for Ubuntu 18.04 which doesn't seem to work anymore for Focal Fossa as the files mentioned in the answer no longer exist. Instead, there's now only a single .gresource
file.
Is there another better/new way to adjust the icon size?
/usr/share/gnome-shell/theme/Yaru/
there's only agnome-shell.gresource
file. I figured out that I can view its content viagresource list
command. Included is in fact agnome-shell.css
. So if I would unpack it, I could certainly change it. But how I should use the modified file is unclear to me. – FlKo May 11 '20 at 18:40