public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

nixos manual: Fix instruction for getting booted kernel confix

Browse Source
This commit is contained in:
Nathaniel Baxter 2014-08-17 16:10:10 +10:00
parent 474731b29e
commit 7d4cd20ea4
1 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
nixos/doc/manual/configuration.xml
View File

@ -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 This ensures that driver packages are consistent with the
kernel.</para> kernel.</para>
<para>The default Linux kernel configuration should be fine for most <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:
users. You can see the configuration of your current kernel in <programlisting>
<filename>/run/booted-system/kernel-modules/config</filename>. If you cat /proc/config.gz | gunzip
want to change the kernel configuration, you can use the </programlisting>
If you want to change the kernel configuration, you can use the
<option>packageOverrides</option> feature (see <xref <option>packageOverrides</option> feature (see <xref
linkend="sec-customising-packages" />). For instance, to enable linkend="sec-customising-packages" />). For instance, to enable
support for the kernel debugger KGDB: support for the kernel debugger KGDB: