#!/usr/bin/env bash common_abspath() ( echo "$(cd "$(dirname "$1")"; pwd)/$(basename "$1")" ) common_bench_cmd() ( # Benchmark a command. # # $1: command to benchmark # $2: where to append write results to. Default: /dev/null. # # Result format: # # cmd # time