A volte, il mio gnome-shell si blocca. Riesco a vedere (ascoltare) i processi in background che funzionano (suonare musica), ma non posso fare nulla in Gnome. No Alt+ F2+ R.
Posso passare alla console utilizzando: Ctrl+ Alt+ F1, accedi come lo stesso utente ed eseguo:
gnome-shell --replace
e torno indietro Ctrl+ F7, ma poi ho uno strano comportamento. Ad esempio, non riesco a modificare le connessioni di rete. Non riesco nemmeno a disconnettermi. Qual è il modo corretto di riavviare gnome-shell?
gnome-shell overview
, o in quale particolare occasione, se puoi dirlo?