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 aggancia…