diff options
author | jhb <jhb@FreeBSD.org> | 2006-07-12 21:22:44 +0000 |
---|---|---|
committer | jhb <jhb@FreeBSD.org> | 2006-07-12 21:22:44 +0000 |
commit | a72b0bcd7fd4baed9952beefc6398b3d79c789d9 (patch) | |
tree | f2aff187736391b024e6cf6f28e95e5708a2d927 /sys/ddb/db_output.h | |
parent | 883bd6a55eef6005b2e79ccc0c939a365bebb656 (diff) | |
download | FreeBSD-src-a72b0bcd7fd4baed9952beefc6398b3d79c789d9.zip FreeBSD-src-a72b0bcd7fd4baed9952beefc6398b3d79c789d9.tar.gz |
Simplify the pager support in DDB. Allowing different db commands to
install custom pager functions didn't actually happen in practice (they
all just used the simple pager and passed in a local quit pointer). So,
just hardcode the simple pager as the only pager and make it set a global
db_pager_quit flag that db commands can check when the user hits 'q' (or a
suitable variant) at the pager prompt. Also, now that it's easy to do so,
enable paging by default for all ddb commands. Any command that wishes to
honor the quit flag can do so by checking db_pager_quit. Note that the
pager can also be effectively disabled by setting $lines to 0.
Other fixes:
- 'show idt' on i386 and pc98 now actually checks the quit flag and
terminates early.
- 'show intr' now actually checks the quit flag and terminates early.
Diffstat (limited to 'sys/ddb/db_output.h')
-rw-r--r-- | sys/ddb/db_output.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/sys/ddb/db_output.h b/sys/ddb/db_output.h index 7615ea6..480c40d 100644 --- a/sys/ddb/db_output.h +++ b/sys/ddb/db_output.h @@ -38,6 +38,8 @@ * Printing routines for kernel debugger. */ +void db_disable_pager(void); +void db_enable_pager(void); void db_end_line(void); void db_force_whitespace(void); int db_print_position(void); |