equal
deleted
inserted
replaced
17 ## hg convert |
17 ## hg convert |
18 |
18 |
19 export HGRCPATH="$THIS/cvs/Admin/Mercurial/hgrc" |
19 export HGRCPATH="$THIS/cvs/Admin/Mercurial/hgrc" |
20 |
20 |
21 cd "$THIS" |
21 cd "$THIS" |
22 /home/isabelle/mercurial/bin/hg convert --filemap cvs/Admin/Mercurial/filemap cvs hg >> "$LOG" 2>&1 || exit 2 |
22 /home/isabelle/mercurial/bin/hg convert --filemap cvs/Admin/Mercurial/filemap cvs isabelle-cvs >> "$LOG" 2>&1 || exit 2 |
23 |
23 |
24 [ -e hg/.hg/hgrc ] || ln -s ../../cvs/Admin/Mercurial/hgrc hg/.hg/hgrc |
24 [ -e isabelle-cvs/.hg/hgrc ] || ln -s ../../cvs/Admin/Mercurial/hgrc isabelle-cvs/.hg/hgrc |
25 |
25 |
26 |
26 |
27 ## logrotate |
27 ## logrotate |
28 |
28 |
29 /usr/sbin/logrotate -s "$THIS/log.state" "$THIS/cvs/Admin/Mercurial/logrotate.conf" |
29 /usr/sbin/logrotate -s "$THIS/log.state" "$THIS/cvs/Admin/Mercurial/logrotate.conf" |