Project

General

Profile

1 6044 aaronmk
#!/bin/sh
2
# Runs script verbosely on vegbien db, echoing commands and timings.
3
4
selfDir="$(dirname -- "$0")"
5
6 8109 aaronmk
(
7 12394 aaronmk
    # \\ because this is sh, not bash
8
    echo '\\set VERBOSITY terse'
9 8109 aaronmk
    echo '\\timing on'
10 12393 aaronmk
    echo 'SET client_min_messages = NOTICE;'
11 8109 aaronmk
    cat
12 8803 aaronmk
)|"time" "$selfDir/psql_script_vegbien" --echo-all --echo-hidden "$@"