banale ripristino di sessione di gnome

in seguito a qualche incauta operazione sui settaggi della sessione di gnome, e conseguente crash del relativo demone, mi ritrovavo costantemente senza gnome-panel, senza la possibilità di agganciarmi al demone di sessione, per esempio dal pannello di controllo, ecc…

le soluzioni al problema trovate googlando erano un po’ tutte drastiche, del tipo “rm -f ~/.gnome2”

in realtà, una volta constatato che avviando come “Gnome d’emergenza” (Failsafe) tutto era normale, è bastato copiare, editando il file ~/.gnome2/session, la sezione [fAILSAFE] sopra a quella [Default], e all’avvio tutto era tornato normale