author | wenzelm |
Sat, 27 Mar 2021 17:05:36 +0100 | |
changeset 73479 | 6e20976d58f5 |
parent 64881 | 9eff4c62579a |
child 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")" "${HG:-hg}" churn --aliases "$ALIAS" | "$SCRIPT" "$@"