isabelle: Admin/Mercurial/convert@ca56bbb99607 (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"
27465 79db00d0fba9 tuned; wenzelm parents: 27464 diff changeset	8	date >> "$LOG"
79db00d0fba9 tuned; wenzelm parents: 27464 diff changeset	9
79db00d0fba9 tuned; wenzelm parents: 27464 diff changeset	10
79db00d0fba9 tuned; wenzelm parents: 27464 diff changeset	11	## cvs update
27462 53a350398593 output to log file; wenzelm parents: 27459 diff changeset	12
27444 a487aa892540 convert Isabelle CVS to Mercurial; wenzelm parents: diff changeset	13	cd "$THIS/cvs"
27463 9971758c50be redirect stderr as well; wenzelm parents: 27462 diff changeset	14	cvs up -dAP >> "$LOG" 2>&1 \|\| exit 2
27444 a487aa892540 convert Isabelle CVS to Mercurial; wenzelm parents: diff changeset	15
a487aa892540 convert Isabelle CVS to Mercurial; wenzelm parents: diff changeset	16
27465 79db00d0fba9 tuned; wenzelm parents: 27464 diff changeset	17	## hg convert
79db00d0fba9 tuned; wenzelm parents: 27464 diff changeset	18
27444 a487aa892540 convert Isabelle CVS to Mercurial; wenzelm parents: diff changeset	19	case $(hostname) in
a487aa892540 convert Isabelle CVS to Mercurial; wenzelm parents: diff changeset	20
a487aa892540 convert Isabelle CVS to Mercurial; wenzelm parents: diff changeset	21	atbroy51)
28000 ca56bbb99607 replaced /home/isabelle/html-data/isabelle-repos by /home/isabelle-repository/repos; wenzelm parents: 27465 diff changeset	22	export HG=/home/isabelle-repository/repos/mercurial-atbroy51/bin/hg
ca56bbb99607 replaced /home/isabelle/html-data/isabelle-repos by /home/isabelle-repository/repos; wenzelm parents: 27465 diff changeset	23	export PYTHONPATH=/home/isabelle-repository/repos/mercurial-atbroy51/lib/python2.4/site-packages
27444 a487aa892540 convert Isabelle CVS to Mercurial; wenzelm parents: diff changeset	24	;;
a487aa892540 convert Isabelle CVS to Mercurial; wenzelm parents: diff changeset	25
a487aa892540 convert Isabelle CVS to Mercurial; wenzelm parents: diff changeset	26	atbroy100)
28000 ca56bbb99607 replaced /home/isabelle/html-data/isabelle-repos by /home/isabelle-repository/repos; wenzelm parents: 27465 diff changeset	27	export HG=/home/isabelle-repository/repos/mercurial-atbroy100/bin/hg
ca56bbb99607 replaced /home/isabelle/html-data/isabelle-repos by /home/isabelle-repository/repos; wenzelm parents: 27465 diff changeset	28	export PYTHONPATH=/home/isabelle-repository/repos/mercurial-atbroy100/lib64/python2.4/site-packages
27444 a487aa892540 convert Isabelle CVS to Mercurial; wenzelm parents: diff changeset	29	;;
a487aa892540 convert Isabelle CVS to Mercurial; wenzelm parents: diff changeset	30
a487aa892540 convert Isabelle CVS to Mercurial; wenzelm parents: diff changeset	31	esac
a487aa892540 convert Isabelle CVS to Mercurial; wenzelm parents: diff changeset	32
27457 a701c0b951d8 provide HGRCPATH, taken from cvs/Admin; wenzelm parents: 27444 diff changeset	33	export HGRCPATH="$THIS/cvs/Admin/Mercurial/hgrc"
a701c0b951d8 provide HGRCPATH, taken from cvs/Admin; wenzelm parents: 27444 diff changeset	34
27444 a487aa892540 convert Isabelle CVS to Mercurial; wenzelm parents: diff changeset	35	cd "$THIS"
27463 9971758c50be redirect stderr as well; wenzelm parents: 27462 diff changeset	36	"$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	37
62bab1679283 ensure hg/.hg/hgrc; wenzelm parents: 27457 diff changeset	38	[ -e hg/.hg/hgrc ] \|\| ln -s ../../cvs/Admin/Mercurial/hgrc hg/.hg/hgrc
27464 3640865d4a38 logrotate setup; wenzelm parents: 27463 diff changeset	39
3640865d4a38 logrotate setup; wenzelm parents: 27463 diff changeset	40
27465 79db00d0fba9 tuned; wenzelm parents: 27464 diff changeset	41	## logrotate
79db00d0fba9 tuned; wenzelm parents: 27464 diff changeset	42
27464 3640865d4a38 logrotate setup; wenzelm parents: 27463 diff changeset	43	/usr/sbin/logrotate -s "$THIS/log.state" "$THIS/cvs/Admin/Mercurial/logrotate.conf"

author	wenzelm
	Tue, 26 Aug 2008 11:42:46 +0200
changeset 28000	ca56bbb99607
parent 27465	79db00d0fba9
child 28118	c21ac4bd18a9
permissions	-rwxr-xr-x