Às vezes, minha casca de gnomo congela. Eu posso ver (ouvir) processos em segundo plano funcionando (tocando música), mas não posso fazer nada no gnome. Não Alt+ F2+ R.
Posso mudar para o console usando: Ctrl+ Alt+ F1, faça o login como o mesmo usuário e execute:
gnome-shell --replace
e volto Ctrl+ F7, mas, então, recebo um comportamento estranho. Por exemplo, não consigo editar conexões de rede. Não consigo sair também. Qual é a maneira correta de reiniciar o gnome-shell?
gnome-shell overview
, ou em que ocasião específica, se você pode perceber?