equal
deleted
inserted
replaced
9 |
9 |
10 |
10 |
11 case $(hostname) in |
11 case $(hostname) in |
12 |
12 |
13 atbroy51) |
13 atbroy51) |
14 MERCURIAL=/home/isabelle/html-data/isabelle-repos/mercurial-atbroy51/bin/hg |
14 export HG=/home/isabelle/html-data/isabelle-repos/mercurial-atbroy51/bin/hg |
15 export PYTHONPATH=/home/isabelle/html-data/isabelle-repos/mercurial-atbroy51/lib/python2.4/site-packages |
15 export PYTHONPATH=/home/isabelle/html-data/isabelle-repos/mercurial-atbroy51/lib/python2.4/site-packages |
16 ;; |
16 ;; |
17 |
17 |
18 atbroy100) |
18 atbroy100) |
19 MERCURIAL=/home/isabelle/html-data/isabelle-repos/mercurial-atbroy100/bin/hg |
19 export HG=/home/isabelle/html-data/isabelle-repos/mercurial-atbroy100/bin/hg |
20 export PYTHONPATH=/home/isabelle/html-data/isabelle-repos/mercurial-atbroy100/lib64/python2.4/site-packages |
20 export PYTHONPATH=/home/isabelle/html-data/isabelle-repos/mercurial-atbroy100/lib64/python2.4/site-packages |
21 ;; |
21 ;; |
22 |
22 |
23 esac |
23 esac |
24 |
24 |
|
25 export HGRCPATH="$THIS/cvs/Admin/Mercurial/hgrc" |
|
26 |
25 cd "$THIS" |
27 cd "$THIS" |
26 "$MERCURIAL" convert --filemap cvs/Admin/Mercurial/filemap cvs hg |
28 "$HG" convert --filemap cvs/Admin/Mercurial/filemap cvs hg |