Ubuntu
mutter package

  1. Bug #1718238
  2. Comment #8

Comment 8 for bug 1718238

Revision history for this message
Egmont Koblinger (egmont-gmail) wrote :

I have found that the presence of the counterpart "utilities-terminal.png" icons under /usr/share/icons/gnome fixes the use of the Humanity one (even though the ones under the "gnome" folder are unused), while removing them breaks it.

Could you guys please confirm if this is the same for you?

sudo apt install gnome-icon-theme # fixes
sudo apt purge gnome-icon-theme # breaks

It's not even required to restart anything, just open a new gnome-terminal window, the icon updates for me to the correct/buggy size accordingly.