Dave Page <dpage@postgresql.org> writes:
> OK, updated patch attached. This has
> -E <dbname> or --default-database=<dbname>
Not sure that "default" database is a particularly helpful adjective;
why shouldn't the switch just be --database?
Other than that, looks fine.
regards, tom lane