3# Generates statistics on pandoc: benchmarks and lines of code
4# The stats are put in the stats directory, marked with date and revision hash.
10REV=`git rev-parse --short HEAD`
13BENCH=$STATSDIR/benchmark.$EXT
15SUMMARY=$STATSDIR/summary.$EXT
17runghc Benchmark.hs > $BENCH
18find src -name '*.hs' | xargs wc -l > $LOC
20LOCSUM=`tail -1 $LOC | sed -Ee 's/^ *([0-9]+).*/\1/'`
22echo "Revision $REV" > $SUMMARY
23echo `date` >> $SUMMARY
24echo "$LOCSUM lines of code" >> $SUMMARY
27sed -nEe '/^(benchmarking|mean:)/p' $BENCH | \
28 sed -Ee '/benchmarking/N;s/\n/: /' | \
29 sed -Ee 's/benchmarking (.*)/\1/' | \
30 sed -Ee 's/mean: ([^ ]*) *([^,]*).*/\1:\2/' | \
31 awk 'BEGIN { FS = ": *" } ; { printf("%s:%7.2f %s\n", $1, $2, $3); }' | \
32 column -t -s ":" >> $SUMMARY
keysesc to close
- j k
- move down, up
- enter
- open
- esc
- back, or up a level
- 1 2 3 4
- readme, files, commits, refs
- /
- filter
- y
- copy the clone command
- c
- compare the chosen commit with another (or shift-click both)
- ?
- show or hide this list