The documentation used to suggest setting this parameter with ALTER ROLE
SET, but that never worked, so replace it with a working suggestion.
Reported-by: Kyotaro Horiguchi
this feature is to allow debugging or performance-measurement
libraries to be loaded into specific sessions without an explicit
LOAD> command being given. For example, debugging could
- be enabled for all sessions under a given user name by setting
- this parameter with ALTER ROLE SET>.
+ be enabled for a session by setting this parameter via the
+ PGOPTIONS environment variable.