| author | paulson <lp15@cam.ac.uk> |
| Thu, 19 Sep 2019 12:36:15 +0100 | |
| changeset 70724 | 65371451fde8 |
| parent 56417 | 04d0083cb9e5 |
| child 73479 | 6e20976d58f5 |
| permissions | -rwxr-xr-x |
|
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 | 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 |
|
|
04d0083cb9e5
churning pie charts (with non-canonical prerequisites!)
haftmann
parents:
40269
diff
changeset
|
12 |
hg churn --aliases "$ALIAS" "$@" |