Project

General

Profile

1
#!/bin/bash
2
set -o errexit
3
# Usage: env table=... [filter=...] self >out
4
. "$(dirname "${BASH_SOURCE[0]}")"/../../lib/util.sh
5

    
6
: "${table:?}"
7

    
8
(cat <<EOF
9
SELECT * FROM $table
10
${filter:+WHERE $filter}
11
${limit:+LIMIT $limit }${offset:+OFFSET $offset}
12
EOF
13
)|echo_stdin|echo_run "time" ssh vegbiendev mysql --user=bien \
14
--password="$(cat "$top_dir"/../../config/bien_password)" --database=GBIF \
15
--quick
(3-3/10)