Comment 5 for bug 1716068

It looks like we won't be able to figure out the root cause of your crash until the robots can analyse and retrace it. Please let us know the new bug ID created in comment #3 if you know it.

P.S. What kind of terminal are you running "gnome-shell --replace" from? That sounds like it should be impossible, or you are using a Xorg session in which case you will have some basic windows to type in after the shell/window manager crashed.