From 7d4cd20ea489d1858e152f6b5d068e73902fbd75 Mon Sep 17 00:00:00 2001 From: Nathaniel Baxter Date: Sun, 17 Aug 2014 16:10:10 +1000 Subject: [PATCH] nixos manual: Fix instruction for getting booted kernel confix --- nixos/doc/manual/configuration.xml | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/nixos/doc/manual/configuration.xml b/nixos/doc/manual/configuration.xml index 051f0fb8c1e..d35a5fff4aa 100644 --- a/nixos/doc/manual/configuration.xml +++ b/nixos/doc/manual/configuration.xml @@ -1499,10 +1499,11 @@ are specific to the kernel version, such as the NVIDIA video drivers. This ensures that driver packages are consistent with the kernel. -The default Linux kernel configuration should be fine for most -users. You can see the configuration of your current kernel in -/run/booted-system/kernel-modules/config. If you -want to change the kernel configuration, you can use the +The default Linux kernel configuration should be fine for most users. You can see the configuration of your current kernel with the following command: + +cat /proc/config.gz | gunzip + +If you want to change the kernel configuration, you can use the feature (see ). For instance, to enable support for the kernel debugger KGDB: