2013-08-28 13:56:10 -04:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
src="${1?Missing source document}"
|
2013-08-28 14:38:09 -04:00
|
|
|
path="${2?Missing spec src path}"
|
2013-08-28 13:56:10 -04:00
|
|
|
|
|
|
|
domake()
|
|
|
|
{
|
|
|
|
pdflatex -draftmode "$src" >&2
|
|
|
|
}
|
|
|
|
|
|
|
|
gendate()
|
|
|
|
{
|
|
|
|
echo -n "$( git log -n1 --pretty=format:%ai | cut -d' ' -f1 ) "
|
|
|
|
}
|
|
|
|
|
|
|
|
domake \
|
|
|
|
&& echo -n 'id ' \
|
|
|
|
&& head -n1 taskstats.dat \
|
|
|
|
&& \
|
|
|
|
(
|
2013-08-28 14:16:49 -04:00
|
|
|
echo -n '0 ' && gendate && tail -n1 taskstats.dat \
|
2013-08-28 14:38:09 -04:00
|
|
|
&& git log --no-merges --pretty=format:'%ar %h' -- "$path" \
|
2013-08-28 13:56:10 -04:00
|
|
|
| awk '
|
|
|
|
BEGIN {
|
|
|
|
last=""
|
|
|
|
}
|
|
|
|
|
2013-08-30 09:03:29 -04:00
|
|
|
/days ago|^(1[5-9]|2[0-9]) hours ago/{
|
|
|
|
if ( $0 ~ /hours/ ) {
|
|
|
|
$1 = 1
|
|
|
|
}
|
2013-08-28 13:56:10 -04:00
|
|
|
if ( $1 == last ) next;
|
|
|
|
if ( $1 < last ) nextfile;
|
|
|
|
last = $1;
|
|
|
|
print $1, $NF;
|
|
|
|
}
|
|
|
|
' \
|
|
|
|
| while read n h; do
|
|
|
|
git checkout "$h" >&2 \
|
|
|
|
&& domake \
|
2013-08-28 14:16:49 -04:00
|
|
|
&& echo -n "-$n " \
|
2013-08-28 13:56:10 -04:00
|
|
|
&& gendate \
|
|
|
|
&& tail -n1 taskstats.dat \
|
|
|
|
|| exit 1
|
|
|
|
done
|
2013-08-28 14:16:49 -04:00
|
|
|
)
|