> Agreed. I have gotten confused on how to set $user in the past. I have
> developed the following patch that sets the default with the double
> quotes around it, and it works fine. The patch also contains updated
> documentation.
Just be careful about pg_dump's special handling of search_path in user
and db variables...
Make sure you haven't broken it.
Chris