aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xtools/status21
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)" {}
+