PatR
9a7f8418ee
'nethack --usage' and '?' menu
...
Write up a description of how the command line works on UNIX and put
that in new file dat/usagehlp. Add support for
|nethack --usage | --help | -? | ?
to display it and exit.
Also add a menu entry for nethack's help command to show it during
play. That can be suppressed by uncommenting new '#define HIDE_USAGE'
in config.h since it won't be useful on servers that don't give
players access to command lines.
New genl_display_file() just writes to stdout. opt_usage(), which
calls it, might need some suid/sgid handling to make sure the output
is done as the player rather than as nethack.
doc/nethack.6 is already out of date again.
2022-11-18 16:07:15 -08:00
..
2022-02-04 11:01:20 -05:00
2022-03-13 13:58:56 -07:00
2022-10-26 14:21:23 -04:00
2022-07-19 21:23:26 +03:00
2022-07-19 21:23:26 +03:00
2022-10-26 14:21:23 -04:00
2020-08-03 22:07:36 -04:00
2022-10-30 16:08:14 -04:00
2021-07-24 17:52:47 -04:00
2022-11-18 16:07:15 -08:00
2022-06-30 23:48:18 -04:00
2022-06-30 23:48:18 -04:00
2022-11-03 15:50:32 -04:00
2022-11-10 15:44:53 -08:00
2022-10-26 14:21:23 -04:00
2022-09-08 10:54:11 -04:00
2021-01-26 21:06:16 -05:00
2022-06-30 23:48:18 -04:00
2022-10-15 02:13:39 -07:00
2022-11-18 16:07:15 -08:00
2022-10-26 14:21:23 -04:00
2021-10-16 12:12:21 -04:00
2022-08-23 23:27:21 +03:00
2022-11-18 16:07:15 -08:00
2022-10-03 15:53:35 -07:00
2022-07-01 08:36:03 -04:00
2022-03-11 07:33:28 -05:00
2022-06-19 02:30:45 -07:00
2020-08-03 22:07:36 -04:00
2022-09-09 11:45:30 -07:00
2020-08-03 22:07:36 -04:00
2020-08-03 22:07:36 -04:00
2022-09-28 14:11:05 -07:00
2022-10-26 14:21:23 -04:00
2022-10-27 10:04:11 -04:00
2022-10-26 14:21:23 -04:00
2022-10-26 14:21:23 -04:00
2022-10-14 14:42:54 -07:00
2022-10-22 17:14:22 -07:00
2022-01-28 08:30:08 +02:00
2022-09-27 13:32:51 -07:00
2022-10-31 00:53:10 -07:00
2022-10-30 16:08:14 -04:00
2022-10-29 10:54:25 -04:00
2022-10-26 14:21:23 -04:00
2022-10-26 14:21:23 -04:00
2022-10-26 14:21:23 -04:00
2022-10-26 14:21:23 -04:00
2022-10-26 14:21:23 -04:00
2022-10-26 14:21:23 -04:00
2022-07-23 23:11:13 -07:00
2022-10-26 14:21:23 -04:00
2022-10-26 14:21:23 -04:00
2022-09-06 10:00:07 -04:00
2022-03-02 13:09:42 -08:00
2022-11-03 15:42:24 -04:00
2020-08-03 22:07:36 -04:00
2020-08-12 16:15:28 -07:00
2021-10-16 12:12:21 -04:00
2022-10-26 14:21:23 -04:00
2022-11-03 19:33:30 -04:00
2022-08-21 11:36:39 +03:00
2022-10-29 10:54:25 -04:00
2022-10-26 14:21:23 -04:00
2022-10-29 10:54:25 -04:00
2021-10-22 12:27:10 -04:00
2022-06-30 23:48:18 -04:00
2022-11-08 12:09:26 -08:00
2022-10-29 10:54:25 -04:00
2022-10-26 14:21:23 -04:00
2022-10-26 14:21:23 -04:00
2022-10-02 20:41:02 -04:00
2022-11-05 11:56:21 -04:00
2022-10-26 14:21:23 -04:00
2022-10-26 14:21:23 -04:00
2022-07-10 11:14:10 -07:00
2022-10-26 14:21:23 -04:00