isabelle: Admin/lib/Tools/churn@6e20976d58f5 (annotated)

56417 04d0083cb9e5 churning pie charts (with non-canonical prerequisites!) haftmann parents: 40269 diff changeset	1	#!/usr/bin/env bash
04d0083cb9e5 churning pie charts (with non-canonical prerequisites!) haftmann parents: 40269 diff changeset	2	#
04d0083cb9e5 churning pie charts (with non-canonical prerequisites!) haftmann parents: 40269 diff changeset	3	# Author: Florian Haftmann, TU Muenchen
04d0083cb9e5 churning pie charts (with non-canonical prerequisites!) haftmann parents: 40269 diff changeset	4	#
04d0083cb9e5 churning pie charts (with non-canonical prerequisites!) haftmann parents: 40269 diff changeset	5	# DESCRIPTION: mercurial churn statistics for specified aliases file
29554 7e5e5ebb7bf7 added churn script haftmann parents: diff changeset	6
56417 04d0083cb9e5 churning pie charts (with non-canonical prerequisites!) haftmann parents: 40269 diff changeset	7	ALIAS="${1:-$ISABELLE_HOME/Admin/user-aliases}"
04d0083cb9e5 churning pie charts (with non-canonical prerequisites!) haftmann parents: 40269 diff changeset	8	shift
04d0083cb9e5 churning pie charts (with non-canonical prerequisites!) haftmann parents: 40269 diff changeset	9
04d0083cb9e5 churning pie charts (with non-canonical prerequisites!) haftmann parents: 40269 diff changeset	10	cd "$(dirname "$ALIAS")"
04d0083cb9e5 churning pie charts (with non-canonical prerequisites!) haftmann parents: 40269 diff changeset	11
73479 6e20976d58f5 more robust invocation of hg; wenzelm parents: 56417 diff changeset	12	"${HG:-hg}" churn --aliases "$ALIAS" "$@"

author	wenzelm
	Sat, 27 Mar 2021 17:05:36 +0100
changeset 73479	6e20976d58f5
parent 56417	04d0083cb9e5
child 73483	804e75127f29
permissions	-rwxr-xr-x