| author | wenzelm |
| Wed, 02 Mar 2022 16:06:37 +0100 | |
| changeset 75181 | 98fbc9accb51 |
| parent 73483 | 804e75127f29 |
| permissions | -rwxr-xr-x |
#!/usr/bin/env bash # # Author: Florian Haftmann, TU Muenchen # # DESCRIPTION: pie chart with Mercurial churn statistics ALIAS="${1:-$ISABELLE_HOME/Admin/user-aliases}" shift SCRIPT="$ISABELLE_HOME/Admin/lib/scripts/churn_pie" cd "$(dirname "$ALIAS")" export LANG=C export HGPLAIN= "${HG:-hg}" churn --aliases "$ALIAS" | "$SCRIPT" "$@"