Admin/Mercurial/convert
author wenzelm
Thu, 03 Jul 2008 12:56:43 +0200
changeset 27459 62bab1679283
parent 27457 a701c0b951d8
child 27462 53a350398593
permissions -rwxr-xr-x
ensure hg/.hg/hgrc;
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
a487aa892540 convert Isabelle CVS to Mercurial;
wenzelm
parents:
diff changeset
     7
cd "$THIS/cvs"
a487aa892540 convert Isabelle CVS to Mercurial;
wenzelm
parents:
diff changeset
     8
cvs up -dAP || exit 2
a487aa892540 convert Isabelle CVS to Mercurial;
wenzelm
parents:
diff changeset
     9
a487aa892540 convert Isabelle CVS to Mercurial;
wenzelm
parents:
diff changeset
    10
a487aa892540 convert Isabelle CVS to Mercurial;
wenzelm
parents:
diff changeset
    11
case $(hostname) in
a487aa892540 convert Isabelle CVS to Mercurial;
wenzelm
parents:
diff changeset
    12
a487aa892540 convert Isabelle CVS to Mercurial;
wenzelm
parents:
diff changeset
    13
atbroy51)
27457
a701c0b951d8 provide HGRCPATH, taken from cvs/Admin;
wenzelm
parents: 27444
diff changeset
    14
export HG=/home/isabelle/html-data/isabelle-repos/mercurial-atbroy51/bin/hg
27444
a487aa892540 convert Isabelle CVS to Mercurial;
wenzelm
parents:
diff changeset
    15
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
    16
;;
a487aa892540 convert Isabelle CVS to Mercurial;
wenzelm
parents:
diff changeset
    17
a487aa892540 convert Isabelle CVS to Mercurial;
wenzelm
parents:
diff changeset
    18
atbroy100)
27457
a701c0b951d8 provide HGRCPATH, taken from cvs/Admin;
wenzelm
parents: 27444
diff changeset
    19
export HG=/home/isabelle/html-data/isabelle-repos/mercurial-atbroy100/bin/hg
27444
a487aa892540 convert Isabelle CVS to Mercurial;
wenzelm
parents:
diff changeset
    20
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
    21
;;
a487aa892540 convert Isabelle CVS to Mercurial;
wenzelm
parents:
diff changeset
    22
a487aa892540 convert Isabelle CVS to Mercurial;
wenzelm
parents:
diff changeset
    23
esac
a487aa892540 convert Isabelle CVS to Mercurial;
wenzelm
parents:
diff changeset
    24
27457
a701c0b951d8 provide HGRCPATH, taken from cvs/Admin;
wenzelm
parents: 27444
diff changeset
    25
export HGRCPATH="$THIS/cvs/Admin/Mercurial/hgrc"
a701c0b951d8 provide HGRCPATH, taken from cvs/Admin;
wenzelm
parents: 27444
diff changeset
    26
27444
a487aa892540 convert Isabelle CVS to Mercurial;
wenzelm
parents:
diff changeset
    27
cd "$THIS"
27457
a701c0b951d8 provide HGRCPATH, taken from cvs/Admin;
wenzelm
parents: 27444
diff changeset
    28
"$HG" convert --filemap cvs/Admin/Mercurial/filemap cvs hg
27459
62bab1679283 ensure hg/.hg/hgrc;
wenzelm
parents: 27457
diff changeset
    29
62bab1679283 ensure hg/.hg/hgrc;
wenzelm
parents: 27457
diff changeset
    30
[ -e hg/.hg/hgrc ] || ln -s ../../cvs/Admin/Mercurial/hgrc hg/.hg/hgrc