On 09/23/2016 02:44 PM, Christian Stadelmann wrote:
> 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.
That's probably true. I'm just here to help, not to complain.
Well, I can't help directly because I don't use Gnome. However, if this
were a common issue, there'd be a Bugzilla about it and probably a fast
patch. My personal guess is that there's something wrong with the
system and/or a fairly obscure bug in Gnome Shell or an interaction
between both.