Project

General

Profile

1 13167 aaronmk
#!/bin/bash -e
2
. "$(dirname "${BASH_SOURCE[0]}")"/../lib/runscripts/import.run
3
.rel ../lib/sh/local.sh
4
5
if self_not_included; then
6
7
export_() # usage: rm=1 .../run export_
8
{
9
	begin_target; deferred_check_target_exists
10
	database= users=1 to_top_file pg_dump "$@"
11
}
12
13
fi