Hi, On Mon, 4 Feb 2008, Mark Levedahl wrote: > On Feb 4, 2008 9:48 AM, Johannes Schindelin <Johannes.Schindelin@xxxxxx> wrote: > > > Should something like core.origin still be an issue (which I doubt, > > for the same reason you do not change the _name_ of the environment > > variable $HOME), we can still continue discussing that. Actually, I said more things. Things about fixing git-submodule first, so that you can ask it to update via different remotes than "origin". And then try to argue for the rest. > BIG difference here: > $HOME = <name> of home directory, <name> is arbitrary. Files there are > found as $HOME/<foo> or <name>/foo, they are the same, and I am free > to set HOME=<arbitrary name>. > > Currently > $ORIGIN=origin, i.e., the default is *named* origin, not the default > name is given by $ORIGIN. "origin" is just the name of the default origin, holding the remote URL. Just like "HOME" is just the name of the variable holding the home directory. But really. Fix git-submodule first. Ciao, Dscho - 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
