> 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. _______________________________________________ users mailing list -- users@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to users-leave@xxxxxxxxxxxxxxxxxxxxxxx