Re: Permanent settings

Magnus, all:

Other thoughts:

1) fix category display for pg_settings.  'nuff said.

2) allow *commenting* of pg_settings / SET PERMANENT.  Thus:

SET PERMANENT work_mem = '12mb' COMMENT '16mb too high; OOM';

SET

SELECT name, comment FROM pg_settings WHERE name = 'work_mem';

work_mem    |   16mb too high; OOM

3) We should also discuss potentially having "changed_on", "changedby" data:

SELECT name, changedon, changedat, changedby FROM pg_settings;

work_mem       |  2008-01-22 14:35:11  | postgres
shared_buffers | 2008-01-20 13:11:11   | postgresql.conf file

(for "postgresql.conf file" the changedon would always be the date of 
the last reboot)

4) We'll need a log setting for "log SET", since I can see people 
wanting to log this kind of activity without necessarily logging all 
statements.

--Josh Berkus