#!/bin/sh
# Runs script verbosely on vegbien db, echoing commands and timings.
selfDir="$(dirname -- "$0")"
(echo '\\timing on'; cat)|"time" "$selfDir/psql_script_vegbien" --echo-all "$@"