gostaria de saber se tem como diminuir a barra lateral do gnome ou os icones
Tem que instalar a extensão Dash to rock
Nela vê o tamanho dos ícones e da dock
1 curtida
Isso mesmo. Instala o gnome tweaks ‘‘Ajustes’’ e instalas isto aqui → Dash to Dock - GNOME Shell Extensions .
Depois de tudo instalado basta ires aos ajustes e personalizar como quiseres 
1 curtida