manual: minor cleanups

2016-05-22 20:01:52 +02:00
parent d6575c96fb
commit d9796f44f6
2 changed files with 4 additions and 4 deletions
@@ -19,7 +19,7 @@ kernel.</para>

 <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
+zcat /proc/config.gz
 </programlisting>
 If you want to change the kernel configuration, you can use the
 <option>packageOverrides</option> feature (see <xref