diff options
author | Michael Banck <mbanck@gmx.net> | 2006-12-17 23:59:58 +0000 |
---|---|---|
committer | Michael Banck <mbanck@gmx.net> | 2006-12-17 23:59:58 +0000 |
commit | 2e343a5ccf324877937955f47fcc3ee13bfc211c (patch) | |
tree | 148788213b2438ca9900634821111fe1f2c05890 | |
parent | 942145bfc043d197b905ce9cac660b93596ddcff (diff) |
none
-rw-r--r-- | Distrib/DebianFAQ.mdwn | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Distrib/DebianFAQ.mdwn b/Distrib/DebianFAQ.mdwn index 12b357c9..c92304fb 100644 --- a/Distrib/DebianFAQ.mdwn +++ b/Distrib/DebianFAQ.mdwn @@ -68,6 +68,10 @@ If you want to use the _apt-get source_ facility, make sure that _/etc/apt/sourc ... replacing _de_ with your homeland's code. +## <a name="kernel_logs"> kernel logs </a> + +The kernel logs are written to /dev/klog by Mach. Run "cat /dev/klog > foo" as root and hit ctrl+c after a few seconds to catch the logs. You can do this only once and do not do this in single-user mode (where ctrl+c does not work). + ---- Page started. |