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 ---------------------------(end of broadcast)--------------------------- TIP 6: explain analyze is your friend