Admin/Mercurial/convert
author wenzelm
Thu, 03 Jul 2008 14:31:19 +0200
changeset 27462 53a350398593
parent 27459 62bab1679283
child 27463 9971758c50be
permissions -rwxr-xr-x
output to log file;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
27444
a487aa892540 convert Isabelle CVS to Mercurial;
wenzelm
parents:
diff changeset
     1
#!/bin/bash
a487aa892540 convert Isabelle CVS to Mercurial;
wenzelm
parents:
diff changeset
     2
# $Id$
a487aa892540 convert Isabelle CVS to Mercurial;
wenzelm
parents:
diff changeset
     3
a487aa892540 convert Isabelle CVS to Mercurial;
wenzelm
parents:
diff changeset
     4
THIS="$(cd "$(dirname "$0")"; pwd)"
a487aa892540 convert Isabelle CVS to Mercurial;
wenzelm
parents:
diff changeset
     5
SUPER="$(cd "$THIS/.."; pwd)"
a487aa892540 convert Isabelle CVS to Mercurial;
wenzelm
parents:
diff changeset
     6
27462
53a350398593 output to log file;
wenzelm
parents: 27459
diff changeset
     7
LOG="$THIS/log"
53a350398593 output to log file;
wenzelm
parents: 27459
diff changeset
     8
27444
a487aa892540 convert Isabelle CVS to Mercurial;
wenzelm
parents:
diff changeset
     9
cd "$THIS/cvs"
27462
53a350398593 output to log file;
wenzelm
parents: 27459
diff changeset
    10
cvs up -dAP >> "$LOG" || exit 2
27444
a487aa892540 convert Isabelle CVS to Mercurial;
wenzelm
parents:
diff changeset
    11
a487aa892540 convert Isabelle CVS to Mercurial;
wenzelm
parents:
diff changeset
    12
a487aa892540 convert Isabelle CVS to Mercurial;
wenzelm
parents:
diff changeset
    13
case $(hostname) in
a487aa892540 convert Isabelle CVS to Mercurial;
wenzelm
parents:
diff changeset
    14
a487aa892540 convert Isabelle CVS to Mercurial;
wenzelm
parents:
diff changeset
    15
atbroy51)
27457
a701c0b951d8 provide HGRCPATH, taken from cvs/Admin;
wenzelm
parents: 27444
diff changeset
    16
export HG=/home/isabelle/html-data/isabelle-repos/mercurial-atbroy51/bin/hg
27444
a487aa892540 convert Isabelle CVS to Mercurial;
wenzelm
parents:
diff changeset
    17
export PYTHONPATH=/home/isabelle/html-data/isabelle-repos/mercurial-atbroy51/lib/python2.4/site-packages
a487aa892540 convert Isabelle CVS to Mercurial;
wenzelm
parents:
diff changeset
    18
;;
a487aa892540 convert Isabelle CVS to Mercurial;
wenzelm
parents:
diff changeset
    19
a487aa892540 convert Isabelle CVS to Mercurial;
wenzelm
parents:
diff changeset
    20
atbroy100)
27457
a701c0b951d8 provide HGRCPATH, taken from cvs/Admin;
wenzelm
parents: 27444
diff changeset
    21
export HG=/home/isabelle/html-data/isabelle-repos/mercurial-atbroy100/bin/hg
27444
a487aa892540 convert Isabelle CVS to Mercurial;
wenzelm
parents:
diff changeset
    22
export PYTHONPATH=/home/isabelle/html-data/isabelle-repos/mercurial-atbroy100/lib64/python2.4/site-packages
a487aa892540 convert Isabelle CVS to Mercurial;
wenzelm
parents:
diff changeset
    23
;;
a487aa892540 convert Isabelle CVS to Mercurial;
wenzelm
parents:
diff changeset
    24
a487aa892540 convert Isabelle CVS to Mercurial;
wenzelm
parents:
diff changeset
    25
esac
a487aa892540 convert Isabelle CVS to Mercurial;
wenzelm
parents:
diff changeset
    26
27457
a701c0b951d8 provide HGRCPATH, taken from cvs/Admin;
wenzelm
parents: 27444
diff changeset
    27
export HGRCPATH="$THIS/cvs/Admin/Mercurial/hgrc"
a701c0b951d8 provide HGRCPATH, taken from cvs/Admin;
wenzelm
parents: 27444
diff changeset
    28
27444
a487aa892540 convert Isabelle CVS to Mercurial;
wenzelm
parents:
diff changeset
    29
cd "$THIS"
27462
53a350398593 output to log file;
wenzelm
parents: 27459
diff changeset
    30
"$HG" convert --filemap cvs/Admin/Mercurial/filemap cvs hg >> "$LOG" || exit 2
27459
62bab1679283 ensure hg/.hg/hgrc;
wenzelm
parents: 27457
diff changeset
    31
62bab1679283 ensure hg/.hg/hgrc;
wenzelm
parents: 27457
diff changeset
    32
[ -e hg/.hg/hgrc ] || ln -s ../../cvs/Admin/Mercurial/hgrc hg/.hg/hgrc