diff options
Diffstat (limited to 'tools/status')
-rwxr-xr-x | tools/status | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/tools/status b/tools/status new file mode 100755 index 0000000..a95737d --- /dev/null +++ b/tools/status @@ -0,0 +1,21 @@ +#!/usr/bin/env bash + +y=$(basename $(pwd)) +b=$(git branch | grep '\*' | tr '*' ' ') + +if ! [[ $y =~ ^[0-9]*$ ]]; then + echo "${0##*/}: E: Not year. Exit." + exit 1 +fi + +echo "Minues tex files $y on $b:" +ls -1 $y*.tex | while read f; do + wc=$(cat $f | sed '/begin{document}/,/end{document}/ p; d' | wc -w) + echo " $(printf '%s %4.d' $f $wc)" +done + +echo "Local branches of $y:" +git branch | grep "master\|$y" | tr '*' ' ' \ + | xargs -I{} -n1 git log -n1 \ + --pretty=format:" {} - %h -%d%n %s%n (%an, %ad, %cr)" {} + |