| author | wenzelm |
| Sat, 11 Nov 2017 14:35:41 +0100 | |
| changeset 67041 | f8b0367046bd |
| 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" "$@" |