Re: [PATCH 0 of 7] [resend] - Improve handling remotes, origin, submodules
- From
Johannes Schindelin <johannes.schindelin@gmx.de>
- Date
- Feb 4, 2008, 18:15 UTC
- Message-ID
- <alpine.LSU.1.00.0802041813110.7372@racer.site>
- In-Reply-To
- <30e4a070802040924g550671ccsb11108c71c99e378@mail.gmail.com>
Hi,
On Mon, 4 Feb 2008, Mark Levedahl wrote:
Show 5 quoted lines
> On Feb 4, 2008 9:48 AM, Johannes Schindelin <Johannes.Schindelin@gmx.de> 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.
Show 8 quoted lines
> 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