#!/bin/bash

set -o errexit

# Usage: env table=... [filter=...] self >out

. "$(dirname "${BASH_SOURCE[0]}")"/../../lib/util.run

: "${table:?}" "${filter:=1}"

(cat <<EOF

SELECT * FROM $table

WHERE $filter

EOF

)|echo_stdin|echo_run "time" ssh vegbiendev mysql --user=bien \

--password="$(cat "$top_dir"/../../config/bien_password)" --database=GBIF \

--quick