Mi e` sembrato di vedere tra i tools di gnome in ubuntu, una utility di backup dele impostazioni di gnome, tanto utile quando gnome fa le bizze e non si sa in qale degli incasinatissimi files di configurazione andare a smanettare. Sapete se questa utility e` in qualche pacchetto debian e come si chiama? Oppure, avete qualche idea alternativa per una procedura di backup/restore delle impostazioni di gnome?