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