За двое суток умудрялся отожрать ~800 мб. Хорошо, перезапускаю его- ~120 мб, ладно (с расширениями же). Но минут за 20-30 оно растёт до ~240 мб. Хорошо, думаю, какое-то расширение плохо себя ведёт - отключаю все, перезапускаю. ~80 мб, что очень неплохо. И вроде даже росло не быстро. Но вот уже минут 20 прошло - и процесс gnome-shell кушает 140 мб.
В интернетах нарыл такую команду, вроде-как, смотрящую за потреблением памяти (?):
while true; do ps -eo rss,args|grep '/usr/bin/gnome-shell'|grep -v grep; sleep 60; done
140468 /usr/bin/gnome-shell
158824 /usr/bin/gnome-shell
160120 /usr/bin/gnome-shell
162200 /usr/bin/gnome-shell
171804 /usr/bin/gnome-shell
182576 /usr/bin/gnome-shell
182572 /usr/bin/gnome-shell
196376 /usr/bin/gnome-shell
196312 /usr/bin/gnome-shell
201708 /usr/bin/gnome-shell
Собственно, зачем топик создал - как с этим бороться? Если потребление растёт, через двое-трое суток начинает подтормаживать, а делать Alt+F2 -> r на каждый чих гнома это не дело. Gnome 3.12.2, Arch Linux.
