quoted
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.
--
.marius