Changing username of postgresql port

[Clive Lin]

Hello Palle,

    I have a proposal of changing PostgreSQL username, from 'pgsql' to
'postgres', or at least make it not hard-coded. The reason is trivial:
consistency across other platforms. My case is, we have web
application developers who do their code on their favorite, fully
isolated, environment. This means they have full set of IIS, apache,
or whatever, installed on their computers, and of course the database
server. Each time we want to exchange SQL dump files, we have to
change the super username 'pgsql' in the dump file. This does not
costs much time, but is indeed pretty annoying ;)

    This is just a thought. If you feel like it, I could start doing
patches for it.

Cheers,
-- 
Clive Tong-I Lin | http://tongi.org | PGP KeyID: A008C03E