Project

General

Profile

1
#!/bin/sh
2
# Runs script verbosely on vegbien db, echoing commands and timings.
3

    
4
selfDir="$(dirname -- "$0")"
5

    
6
(
7
    # \\ because this is sh, not bash
8
    echo '\\set VERBOSITY terse'
9
    echo '\\timing on'
10
    echo 'SET client_min_messages = NOTICE;'
11
    cat
12
)|"time" "$selfDir/psql_script_vegbien" --echo-all --echo-hidden "$@"
(60-60/86)