Hi,
On Fri, 3 Aug 2007, Marius Storm-Olsen wrote:
> > > Completely forgot: we might want to do something like this at the end of
> > > /etc/profile:
> > >
> > > test ! -d /git || {
> > > mv /git $HOME/ &&
> > > cd $HOME/git &&
> > > make install &&
> > > git config remote.origin.url \
> > > git://repo.or.cz/git/mingw.git
> > > git config remote.origin.fetch \
> > > '+refs/heads/*:refs/remotes/origin/*'
> > > git config remote.mob.url \
> > > repo.or.cz:/srv/git/git/mingw.git
> > > git config remote.mob.fetch \
> > > +refs/remote/mob:refs/remotes/origin/mob
> > > git config remote.mob.push \
> > > master:mob
> > > git fetch
> > > git reset 51785010a4d3e7f6c3
> > > }
> > >
> > > Please test that, and include it if it works.
>
> Hmmm, I have trouble 'parsing' this.
> You meant
> test ! -d $HOME/git ||
> right?
>
> But, given that he removed the initial git sources, the script won't work. He
> left the git executables to be able to check a new Git out, if I understand
> correctly.
I ended up doing it differently. I test for $HOME/bin/git.exe, and if it
does not exist, the whole compiling && installing && fetching is done.
Actually, I found out by debugging why it did not work as intended that
commit 5178501 was a commit _I_ made, from experimental patches Hannes
sent to the list.
I updated it to origin/devel + patches.
Hopefully these patches will be cleaned up, and submitted to Hannes (hint,
hint).
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
