diff options
| author | Graham Christensen <graham@grahamc.com> | 2018-09-01 15:49:04 -0400 |
|---|---|---|
| committer | Graham Christensen <graham@grahamc.com> | 2018-09-01 16:20:49 -0400 |
| commit | 18fd616351a25622b1dc43c59d0c52ace5bfe3ef (patch) | |
| tree | e0af257354898c85e75899e9152730de64b72844 /nixos/doc/manual/configuration | |
| parent | 03b89e3031bb983fcc59a9f7794157e2e7b67102 (diff) | |
| download | nixlib-18fd616351a25622b1dc43c59d0c52ace5bfe3ef.tar nixlib-18fd616351a25622b1dc43c59d0c52ace5bfe3ef.tar.gz nixlib-18fd616351a25622b1dc43c59d0c52ace5bfe3ef.tar.bz2 nixlib-18fd616351a25622b1dc43c59d0c52ace5bfe3ef.tar.lz nixlib-18fd616351a25622b1dc43c59d0c52ace5bfe3ef.tar.xz nixlib-18fd616351a25622b1dc43c59d0c52ace5bfe3ef.tar.zst nixlib-18fd616351a25622b1dc43c59d0c52ace5bfe3ef.zip | |
nixos docs: Give sections IDs
Diffstat (limited to 'nixos/doc/manual/configuration')
| -rw-r--r-- | nixos/doc/manual/configuration/linux-kernel.xml | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/nixos/doc/manual/configuration/linux-kernel.xml b/nixos/doc/manual/configuration/linux-kernel.xml index f4d697c42dbd..2f766f2b32f7 100644 --- a/nixos/doc/manual/configuration/linux-kernel.xml +++ b/nixos/doc/manual/configuration/linux-kernel.xml @@ -66,14 +66,15 @@ nixpkgs.config.packageOverrides = pkgs: sets the kernel’s TCP keepalive time to 120 seconds. To see the available parameters, run <command>sysctl -a</command>. </para> - <section> + <section xml:id="sec-linux-config-customizing"> <title>Customize your kernel</title> <para> The first step before compiling the kernel is to generate an appropriate - <literal>.config</literal> configuration. Either you pass your own config via - the <literal>configfile</literal> setting of <literal>linuxManualConfig</literal>: - <screen><![CDATA[ + <literal>.config</literal> configuration. Either you pass your own config + via the <literal>configfile</literal> setting of + <literal>linuxManualConfig</literal>: +<screen><![CDATA[ custom-kernel = super.linuxManualConfig { inherit (super) stdenv hostPlatform; inherit (linux_4_9) src; @@ -117,7 +118,7 @@ You can edit the config with this snippet (by default <command>make menuconfig</ ]]></screen> </para> </section> - <section> + <section xml:id="sec-linux-config-developing-modules"> <title>Developing kernel modules</title> <para> |