equal
deleted
inserted
replaced
|
1 #!/bin/bash |
|
2 # $Id$ |
|
3 |
|
4 THIS="$(cd "$(dirname "$0")"; pwd)" |
|
5 SUPER="$(cd "$THIS/.."; pwd)" |
|
6 |
|
7 cd "$THIS/cvs" |
|
8 cvs up -dAP || exit 2 |
|
9 |
|
10 |
|
11 case $(hostname) in |
|
12 |
|
13 atbroy51) |
|
14 MERCURIAL=/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 |
|
16 ;; |
|
17 |
|
18 atbroy100) |
|
19 MERCURIAL=/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 |
|
21 ;; |
|
22 |
|
23 esac |
|
24 |
|
25 cd "$THIS" |
|
26 "$MERCURIAL" convert --filemap cvs/Admin/Mercurial/filemap cvs hg |