Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
provide HGRCPATH, taken from cvs/Admin;
authorwenzelm
Thu, 03 Jul 2008 12:53:38 +0200
changeset 27457 a701c0b951d8
parent 27456 52c7c42e7e27
child 27458 f1976a293968
provide HGRCPATH, taken from cvs/Admin; replaced MERCURIAL by HG, which is also used by Mercurial internally;
Admin/Mercurial/convert file | annotate | diff | comparison | revisions 
--- a/Admin/Mercurial/convert	Thu Jul 03 11:16:33 2008 +0200
+++ b/Admin/Mercurial/convert	Thu Jul 03 12:53:38 2008 +0200
@@ -11,16 +11,18 @@
 case $(hostname) in
 
 atbroy51)
-MERCURIAL=/home/isabelle/html-data/isabelle-repos/mercurial-atbroy51/bin/hg
+export HG=/home/isabelle/html-data/isabelle-repos/mercurial-atbroy51/bin/hg
 export PYTHONPATH=/home/isabelle/html-data/isabelle-repos/mercurial-atbroy51/lib/python2.4/site-packages
 ;;
 
 atbroy100)
-MERCURIAL=/home/isabelle/html-data/isabelle-repos/mercurial-atbroy100/bin/hg
+export HG=/home/isabelle/html-data/isabelle-repos/mercurial-atbroy100/bin/hg
 export PYTHONPATH=/home/isabelle/html-data/isabelle-repos/mercurial-atbroy100/lib64/python2.4/site-packages
 ;;
 
 esac
 
+export HGRCPATH="$THIS/cvs/Admin/Mercurial/hgrc"
+
 cd "$THIS"
-"$MERCURIAL" convert --filemap cvs/Admin/Mercurial/filemap cvs hg
+"$HG" convert --filemap cvs/Admin/Mercurial/filemap cvs hg
isabelle