Josef Weidendorfer wrote: > On Friday 08 December 2006 23:54, Josef Weidendorfer wrote: >> Jakub Narebski wrote: >>> NAME = name > > Forgot to mention in the proposal: > If you recursively have light-weight checkouts inside each other, > the real "name" (for .git/external/<name/ and for further submodule > configuration e.g. in .git/modules of the base repository) > should of course be the concatenation of the names in the .gitlink > files while going up to the base repository. Why concatenation? I thought the name would be ID of submodule, and should be just somehow unique. And if concatenation, pehaps some forbidden character inserted between them? Like '/' for example ;-) >>> Perhaps instead of adding arbitrary number of .. in front of >>> relative path, we better use some magic, like ... for finding >>> somewhere up? > > No need. Something like > >> /home/user/.../linux > > is crazy. Do you want to scan all of your home directory everytime > this lookup is needed? So "..." really only makes sense in front of > the relative path, but there, you also can leave it out. No. I meant /home/user/.../linux to mean searching for /home/user/linux /home/linux /linux but I don't think it is useful. As to relative path matching in any parent directory... well, that differs only in direction (up instead of down) in matching filename in .gitignore when path does not contain / (well, actually it is taken as fileglob). -- Jakub Narebski Poland - 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