diff options
author | Peter Eisentraut <peter_e@gmx.net> | 2003-10-18 22:59:09 +0000 |
---|---|---|
committer | Peter Eisentraut <peter_e@gmx.net> | 2003-10-18 22:59:09 +0000 |
commit | 9d77708d83ee3c2f4a67d169e274e7b208008b7c (patch) | |
tree | 4c20facfda430d19b44c887dd946643a18d38ef4 /src/backend/tcop/postgres.c | |
parent | e341cdb085dad1fc651b96fa64214c253f46ed94 (diff) | |
download | postgresql-9d77708d83ee3c2f4a67d169e274e7b208008b7c.tar.gz postgresql-9d77708d83ee3c2f4a67d169e274e7b208008b7c.zip |
Cleanup on --help-config: Now called --describe-config, no further options,
machine readable, without headers, not sorted. Parameter descriptions
adjusted to fit first sentence + rest convention.
Diffstat (limited to 'src/backend/tcop/postgres.c')
-rw-r--r-- | src/backend/tcop/postgres.c | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/backend/tcop/postgres.c b/src/backend/tcop/postgres.c index ea247487e2c..70ac378f0e6 100644 --- a/src/backend/tcop/postgres.c +++ b/src/backend/tcop/postgres.c @@ -8,7 +8,7 @@ * * * IDENTIFICATION - * $Header: /cvsroot/pgsql/src/backend/tcop/postgres.c,v 1.373 2003/10/16 16:50:41 tgl Exp $ + * $Header: /cvsroot/pgsql/src/backend/tcop/postgres.c,v 1.374 2003/10/18 22:59:08 petere Exp $ * * NOTES * this is the "main" module of the postgres backend and @@ -1989,8 +1989,7 @@ usage(char *progname) printf(gettext(" -P disable system indexes\n")); printf(gettext(" -s show statistics after each query\n")); printf(gettext(" -S SORT-MEM set amount of memory for sorts (in kbytes)\n")); - printf(gettext(" --help-config show configuration parameters, then exit;\n" - " details: --help-config -h\n")); + printf(gettext(" --describe-config describe configuration parameters, then exit\n")); printf(gettext(" --help show this help, then exit\n")); printf(gettext(" --version output version information, then exit\n")); printf(gettext("\nDeveloper options:\n")); @@ -2660,7 +2659,7 @@ PostgresMain(int argc, char *argv[], const char *username) if (!IsUnderPostmaster) { puts("\nPOSTGRES backend interactive interface "); - puts("$Revision: 1.373 $ $Date: 2003/10/16 16:50:41 $\n"); + puts("$Revision: 1.374 $ $Date: 2003/10/18 22:59:08 $\n"); } /* |