martin f krafft writes:
May I suggest that such a patch actually disables writing of the
config file, so that we won't get conflicts every time you sync
config files via home-in-git?
Then various other bits of config won't be persistent, such as font
settings. So I don't think that's a good idea.
It would be possible to make the config file be per-repository rather
than global, I guess, if that is something people want. I personally
would find it annoying to have to change the font separately in each
repository, but tastes differ, I guess.
Paul.