As a workaround when the shell wont restart after a crash, and leaves your windows dead and unfocussed, go to Terminal and File->New profile create a profile called "Restart shell" and create. In the properties choose "Run a custom command instead of my shell" and enter the command "gnome-shell --replace". Now if the shell crashes and you cant get the text focus to a terminal to type this manually, you can right-click on the Desktop and "Open in terminal"; then from the Terminal File menu, select File->Open Tab->Restart Shell.
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/889706 Title: Gnome-shell randomly crashes To manage notifications about this bug go to: https://bugs.launchpad.net/linuxmint/+bug/889706/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
