author | wenzelm |
Sat, 10 Apr 2021 20:22:07 +0200 | |
changeset 73554 | c973b5300025 |
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" "$@"