summary refs log tree commit diff
diff options
context:
space:
mode:
authorDomen Kožar <domen@dev.si>2014-08-17 16:24:29 +0200
committerDomen Kožar <domen@dev.si>2014-08-17 16:24:29 +0200
commit1d996821fb833dcf3f9bfafdde67bc04ee12503a (patch)
tree5a049c1254ffc55e48017e90180c0524ba0ce96a
parent25351ea15c3e3b045b32c7c12030f6af5b6559bb (diff)
parent7d4cd20ea489d1858e152f6b5d068e73902fbd75 (diff)
downloadnixpkgs-1d996821fb833dcf3f9bfafdde67bc04ee12503a.tar
nixpkgs-1d996821fb833dcf3f9bfafdde67bc04ee12503a.tar.gz
nixpkgs-1d996821fb833dcf3f9bfafdde67bc04ee12503a.tar.bz2
nixpkgs-1d996821fb833dcf3f9bfafdde67bc04ee12503a.tar.lz
nixpkgs-1d996821fb833dcf3f9bfafdde67bc04ee12503a.tar.xz
nixpkgs-1d996821fb833dcf3f9bfafdde67bc04ee12503a.tar.zst
nixpkgs-1d996821fb833dcf3f9bfafdde67bc04ee12503a.zip
Merge pull request #3637 from nathanielbaxter/dev/nixos_manual
nixos manual: Fix instruction for getting booted kernel confix
-rw-r--r--nixos/doc/manual/configuration.xml9
1 files 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.</para>
 
-<para>The default Linux kernel configuration should be fine for most
-users.  You can see the configuration of your current kernel in
-<filename>/run/booted-system/kernel-modules/config</filename>.  If you
-want to change the kernel configuration, you can use the
+<para>The default Linux kernel configuration should be fine for most users. You can see the configuration of your current kernel with the following command:
+<programlisting>
+cat /proc/config.gz | gunzip
+</programlisting>
+If you want to change the kernel configuration, you can use the
 <option>packageOverrides</option> feature (see <xref
 linkend="sec-customising-packages" />).  For instance, to enable
 support for the kernel debugger KGDB: