isabelle: Admin/lib/Tools/churn@d0037f04bba0 (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
73483 804e75127f29 more robust invocation of hg; wenzelm parents: 73479 diff changeset	12	export LANG=C
804e75127f29 more robust invocation of hg; wenzelm parents: 73479 diff changeset	13	export HGPLAIN=
804e75127f29 more robust invocation of hg; wenzelm parents: 73479 diff changeset	14
73479 6e20976d58f5 more robust invocation of hg; wenzelm parents: 56417 diff changeset	15	"${HG:-hg}" churn --aliases "$ALIAS" "$@"

author	wenzelm
	Thu, 04 Aug 2022 13:44:21 +0200
changeset 75753	d0037f04bba0
parent 73483	804e75127f29
permissions	-rwxr-xr-x