1#!/usr/bin/env bash 2# 3# Author: Florian Haftmann, TU Muenchen 4# 5# DESCRIPTION: mercurial churn statistics for specified aliases file 6 7ALIAS="${1:-$ISABELLE_HOME/Admin/user-aliases}" 8shift 9 10cd "$(dirname "$ALIAS")" 11 12hg churn --aliases "$ALIAS" "$@" 13