Размер значков в меню

ковыряться в /usr/share/gnome-shell/theme/gnome-classic.css

этого можно легко избежать, создав собственную тему gnome-shell и уже внося правки в неё

Действительно, «легко», но спасибо за наводку.

но ведь правда легко

Оказалось действительно несложно!

Решил скачать кастомную тему и её подправить. Как это делается:

1. Устанавливаем расширение user-themes
2. Качаем тему с gnome-look’а и распаковываем в ~/.themes/
3. Правим файл /.themes/название_темы/gnome-shell/gnome-shell.css
4. Активируем тему в «Доп. настройках»
5. Если внесли ещё правки и нужно их активировать, можно перезагрузить шелл: Alt+F2 -> r -> Enter

Остаётся только риторический вопрос: почему кеды искаропки выглядели нормально, а с гномчиком нужно пердолиться?

Разложи их по группам – и меньше места занимают и в группах все названия видны.

Уважаемые гномофилы, зачем вам знать постоянно текущую дату и температуру?

Постоянно — не нужно. А узнавать их когда нужно одним взглядом — очень даже удобно.