Re: [PATCH] do not use GIT_CONFIG_LOCAL

2009-06-26 Thread Paolo Bonzini
Yep, I did something similar for coreutils some time ago. git_modules_config () { GIT_CONFIG=.gitmodules git config "$@" } Do you know if one is more portable than the other? It's the same. --file was introduced in September 2007 (v.1.5.3), the same release that introduced su

Re: [PATCH] do not use GIT_CONFIG_LOCAL

2009-06-26 Thread Jim Meyering
Paolo Bonzini wrote: > "Despite being doucmented, I can't find any sign that it was ever used." > (git commit dc87183). Doh. > > Bison should be updated, for the other projects I know the maintainers > are listening on bug-gnulib. :-) > > Paolo > > 2009-06-26 Paolo Bonzini > > * autoboo

[PATCH] do not use GIT_CONFIG_LOCAL

2009-06-26 Thread Paolo Bonzini
"Despite being doucmented, I can't find any sign that it was ever used." (git commit dc87183). Doh. Bison should be updated, for the other projects I know the maintainers are listening on bug-gnulib. :-) Paolo 2009-06-26 Paolo Bonzini * autoboot: Do not use GIT_CONFIG_LOCAL. di