Graças ao comentário de Ruslan (upvote!) e alguns testes, eu provavelmente encontrei uma solução para o próximo caso real:
- Tente ALT + F4 ou clique em algum lugar da mensagem "fail whale" (para obter o foco) e, em seguida, ALT + F4
- Se 1 não funcionar: vá para um tty e digite
DISPLAY=:0 gnome-shell --replace
e depois volte para o Gnome e tente ALT + F4 novamente. Deve funcionar agora.
Alguns antecedentes:
Existem 2 casos. Se o gnome-session tiver falhado, o ALT + F4 não funcionará (já que fornece os quadros de janela e todas as suas funções). Se o daemon gnome-settings travou, o ALT + F4 ainda funciona, mas as janelas podem parecer um pouco diferentes.