On Wed, Jul 21, 2010 at 5:51 PM, Avery Pennarun <apenwarr@xxxxxxxxx> wrote: > On Wed, Jul 21, 2010 at 5:35 PM, John Dlugosz <JDlugosz@xxxxxxxxxxxxxxxx> wrote: >>> > Running git config --list shows nothing that would suggest any such >>> setting. >>> >>> Try 'git config --global --list' >> >> I thought that --list tells me the sum result of all the settings in force; i.e. the final result that should be used here and now. > > Sadly not. It take it back: it does do this. But if $HOME isn't set, apparently it silently fails to read $HOME/.gitconfig and uses a different set of options. Just confirmed this myself, and it's true. This probably should be considered a serious bug. Avery -- 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