Если вам не нравится размер значков, отображаемых в Gnome Shell, которые на мой взгляд чрезмерно большие, вы можете изменить их, отредактировав файл gnome-shell.css. Итак приступим. 1. Прежде всего откройте терминал и создайте резервную копию файла gnome-shell.css с помощью следующей команды: …