diff options
author | Ori Bernstein <ori@eigenstate.org> | 2022-11-05 00:38:09 +0000 |
---|---|---|
committer | Ori Bernstein <ori@eigenstate.org> | 2022-11-05 00:38:09 +0000 |
commit | 4e75dd52d6dc4601e1f9912779c85f760e8d71e1 (patch) | |
tree | 6f86e305d14988aff6a15c0f26e600b53660f0ca | |
parent | a013f992b593ae55453f52de3a9d0f41e0bc4b4f (diff) |
plan9.ini(8): document the *debug option
-rw-r--r-- | sys/man/8/plan9.ini | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/sys/man/8/plan9.ini b/sys/man/8/plan9.ini index 8d9ad93a5..414d2b2d8 100644 --- a/sys/man/8/plan9.ini +++ b/sys/man/8/plan9.ini @@ -746,6 +746,9 @@ are .B cpu and .B terminal. +.SS \fL*debug=\fP +Prevents cpu servers from rebooting on kernel panic, to enable +inspection of panic messages. .SS \fLdebugfactotum=\fP Causes .IR boot (8) |