author | wenzelm |
Fri, 26 Apr 2024 13:25:44 +0200 | |
changeset 80150 | 96f60533ec1d |
parent 73483 | 804e75127f29 |
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 |
|
73483 | 12 |
export LANG=C |
13 |
export HGPLAIN= |
|
14 |
||
73479 | 15 |
"${HG:-hg}" churn --aliases "$ALIAS" "$@" |