Each time I start gnome-session, my gnome-terminal preferences get replaced with: [Placement] Dock=Menubar\\0,0,0,0
I can't seem to reproduce this bug - I can make changes to the gnome-terminal configuration and they get saved properly between sessions. Does this still happen with the latest GNOME? Can you give a sequence of actions to reproduce this?
If I do something so that I don't exit the session properly (shutdown -r from an xterm, etc.), when I next start the session, the session-management saved ones have the right preferences, but any new ones don't.
This is back starting with beta3. Basically, every time I come in to work, I have to redo my preferences, even when all I do in between is a suspend/resume cycle. Is it tied to IP address somehow?
Not IP address. I have seen it happen too, but just when I got a debugging version compiled, it stopped happening. The first step is to be able to consistently reproduce it without having to log out, by finding a config file that will cause this to happen all the time.
I've seen this bug appear when the /home partition has no available space.
Random theory: g-t per-session and per-class settings are simply really confusing. That is, I don't have ~/.gnome/gnome-terminal, just ~/.gnome/gnome-terminal-XXXXXX files. Anyone buy that? I can't see a single reason g-t would lose prefs but not other apps...
Closing. I haven't seen this in a while.