1.1 --- a/Admin/Mercurial/convert Wed Sep 03 19:52:45 2008 +0200
1.2 +++ b/Admin/Mercurial/convert Wed Sep 03 20:04:54 2008 +0200
1.3 @@ -16,24 +16,10 @@
1.4
1.5 ## hg convert
1.6
1.7 -case $(hostname) in
1.8 -
1.9 -atbroy51)
1.10 -export HG=/home/isabelle-repository/repos/mercurial-atbroy51/bin/hg
1.11 -export PYTHONPATH=/home/isabelle-repository/repos/mercurial-atbroy51/lib/python2.4/site-packages
1.12 -;;
1.13 -
1.14 -atbroy100)
1.15 -export HG=/home/isabelle-repository/repos/mercurial-atbroy100/bin/hg
1.16 -export PYTHONPATH=/home/isabelle-repository/repos/mercurial-atbroy100/lib64/python2.4/site-packages
1.17 -;;
1.18 -
1.19 -esac
1.20 -
1.21 export HGRCPATH="$THIS/cvs/Admin/Mercurial/hgrc"
1.22
1.23 cd "$THIS"
1.24 -"$HG" convert --filemap cvs/Admin/Mercurial/filemap cvs hg >> "$LOG" 2>&1 || exit 2
1.25 +/home/isabelle/mercurial/bin/hg convert --filemap cvs/Admin/Mercurial/filemap cvs hg >> "$LOG" 2>&1 || exit 2
1.26
1.27 [ -e hg/.hg/hgrc ] || ln -s ../../cvs/Admin/Mercurial/hgrc hg/.hg/hgrc
1.28