On 09/23/2016 01:23 PM, Andre Robatino wrote:
If you have to restart Gnome Shell daily, there's something wrong,
either with your system or Gnome Shell itself.
I don't HAVE to do it, I just like to keep the memory usage down. If there's
supposed to be some kind of performance gain from the high usage, I don't see it -
AFAICT it works just as well after the restart as before. If it's caching something it
would be interesting to know what.