On 20/01/2013 17:02, Federico Bruni wrote:
Il problema si è presentato dopo un freeze di gnome-shell che mi ha
costretto a spengere brutalmente
qui in lista, tempo fa, qualcuno aveva indicato la soluzione a questi
problemi:
ti colleghi ad una console, ad esempio Ctrl-Alt-F1
fai il login con il tuo utente
ps -def | grep gnome-shell
cerchi il pid = $PID del processo gnome-shell e lo usi nell'istruzione
qui sotto
kill -9 $PID
a questo punto esci dalla console e ritorni in modalità grafica:
Ctrl-Alt-F7