equal
deleted
inserted
replaced
3 |
3 |
4 THIS="$(cd "$(dirname "$0")"; pwd)" |
4 THIS="$(cd "$(dirname "$0")"; pwd)" |
5 SUPER="$(cd "$THIS/.."; pwd)" |
5 SUPER="$(cd "$THIS/.."; pwd)" |
6 |
6 |
7 LOG="$THIS/log" |
7 LOG="$THIS/log" |
|
8 date >> "$LOG" |
|
9 |
|
10 |
|
11 ## cvs update |
8 |
12 |
9 cd "$THIS/cvs" |
13 cd "$THIS/cvs" |
10 cvs up -dAP >> "$LOG" 2>&1 || exit 2 |
14 cvs up -dAP >> "$LOG" 2>&1 || exit 2 |
11 |
15 |
|
16 |
|
17 ## hg convert |
12 |
18 |
13 case $(hostname) in |
19 case $(hostname) in |
14 |
20 |
15 atbroy51) |
21 atbroy51) |
16 export HG=/home/isabelle/html-data/isabelle-repos/mercurial-atbroy51/bin/hg |
22 export HG=/home/isabelle/html-data/isabelle-repos/mercurial-atbroy51/bin/hg |
30 "$HG" convert --filemap cvs/Admin/Mercurial/filemap cvs hg >> "$LOG" 2>&1 || exit 2 |
36 "$HG" convert --filemap cvs/Admin/Mercurial/filemap cvs hg >> "$LOG" 2>&1 || exit 2 |
31 |
37 |
32 [ -e hg/.hg/hgrc ] || ln -s ../../cvs/Admin/Mercurial/hgrc hg/.hg/hgrc |
38 [ -e hg/.hg/hgrc ] || ln -s ../../cvs/Admin/Mercurial/hgrc hg/.hg/hgrc |
33 |
39 |
34 |
40 |
|
41 ## logrotate |
|
42 |
35 /usr/sbin/logrotate -s "$THIS/log.state" "$THIS/cvs/Admin/Mercurial/logrotate.conf" |
43 /usr/sbin/logrotate -s "$THIS/log.state" "$THIS/cvs/Admin/Mercurial/logrotate.conf" |