isabelle: Admin/Mercurial/convert@3640865d4a38 (annotated)

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"
27463 9971758c50be redirect stderr as well; wenzelm parents: 27462 diff changeset	10	cvs up -dAP >> "$LOG" 2>&1 \|\| 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"
27463 9971758c50be redirect stderr as well; wenzelm parents: 27462 diff changeset	30	"$HG" convert --filemap cvs/Admin/Mercurial/filemap cvs hg >> "$LOG" 2>&1 \|\| 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
27464 3640865d4a38 logrotate setup; wenzelm parents: 27463 diff changeset	33
3640865d4a38 logrotate setup; wenzelm parents: 27463 diff changeset	34
3640865d4a38 logrotate setup; wenzelm parents: 27463 diff changeset	35	/usr/sbin/logrotate -s "$THIS/log.state" "$THIS/cvs/Admin/Mercurial/logrotate.conf"

author	wenzelm
	Thu, 03 Jul 2008 14:44:49 +0200
changeset 27464	3640865d4a38
parent 27463	9971758c50be
child 27465	79db00d0fba9
permissions	-rwxr-xr-x