Re: url.<base>.insteadOf vs. submodules

From: Toolforger <toolforger@durchholz.org>
Date: Feb 20, 2017, 20:31 UTC
Message-ID: <404d109f-e5a7-85a3-e64c-ab1b21c3045d@durchholz.org>
In-Reply-To: <20170220090115.6kfzwl62opj4q7k7@sigill.intra.peff.net>

On 20.02.2017 10:01, Jeff King wrote:

Show 8 quoted lines

> On Sun, Feb 19, 2017 at 10:12:28PM +0100, Toolforger wrote:
>
>> I am trying to make url.<base>.insteadOf work on the URLs inside
>> .gitmodules, but it won't work (applying it to the repo itself works fine,
>> to the config setting seems to be fine).
>
> The submodule operations happen in their own processes, and do not look
> at the config of the parent repo.

Ah, then we have a docbug. git help config has this to say:

url.<base>.insteadOf
     Any URL that starts with this value will be rewritten to start,
     instead, with <base>.

The "Any" here is wrong, it would be "any except submodule" (possibly other exceptions).

 > Are you setting the config in

> .git/config of the super-project?

Exactly. My thinking was that since the submodule URLs are specified in the super project's .gitmodules, that setting should apply.

> I don't know if there plans to make that work,

It would certainly help me out, though I guess it's going to be too late for my current project :-)

 > but one workaround is to set the config in ~/.gitconfig.

No can do - that's under version control. My personal setup does not belong there I think ;-)

I am currently trying to write a shell script that
- does git submodule init
- pulls submodule configuration out of git config -l
- configures each submodule with insteadOf
It fits with my workflow because setting up the repositories is going to 
be done via script anyway.
I'm neither a shell nor a git expert, so any advice still appreciated.

Regards, Jo