Admin/lib/Tools/churn_pie
changeset 57438 663037c5d848
parent 56417 04d0083cb9e5
child 64881 9eff4c62579a
equal deleted inserted replaced
57437:0baf08c075b9 57438:663037c5d848
     1 #!/usr/bin/env bash
     1 #!/usr/bin/env bash
     2 #
     2 #
     3 # Author: Florian Haftmann, TU Muenchen
     3 # Author: Florian Haftmann, TU Muenchen
     4 #
     4 #
     5 # DESCRIPTION: pie chart with mercurial churn statistics for specified aliases file
     5 # DESCRIPTION: pie chart with Mercurial churn statistics
     6 
     6 
     7 ALIAS="${1:-$ISABELLE_HOME/Admin/user-aliases}"
     7 ALIAS="${1:-$ISABELLE_HOME/Admin/user-aliases}"
     8 shift
     8 shift
     9 
     9 
    10 SCRIPT="$ISABELLE_HOME/Admin/lib/scripts/churn_pie"
    10 SCRIPT="$ISABELLE_HOME/Admin/lib/scripts/churn_pie"