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. - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html