> On October 2, 2017 at 8:21 PM Ludovic Courtès <l...@gnu.org> wrote: > Mohammed, do you think this could be Guix-specific? Intuitively I would > guess that this can only be an upstream bug, but you know GNOME better > than I do. :-)
But I don't know gnome-shell any better than you. :) This doesn't happen in Debian (GNOME shell version 3.22.x). And I haven't seen any body complaining about it (Though I have seen bug reports that gnome-shell when using mozjs52 crashes). >From the logs (dmesg) it seems like an issue with upstream code, but I believe it is because of the isolation guix enforces. Anyway I have moved back to Debian (at least until 0.14/0.15 guix release). So I may not be able to test the changes anymore. Thanks