diff options
author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2014-10-22 23:12:50 -0500 |
---|---|---|
committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2014-10-23 00:12:50 -0400 |
commit | 203af57fcdced5debfc26e1083eaefa031e322f4 (patch) | |
tree | 02010fe031e409c12258ede3340a9ba312958731 /man/kernel-command-line.xml | |
parent | b825ab1a99b69956057c79838faaf7b44afee474 (diff) |
man: make udev.event-timeout more visible
Evidently some people had trouble finding it in the documentation.
Diffstat (limited to 'man/kernel-command-line.xml')
-rw-r--r-- | man/kernel-command-line.xml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/man/kernel-command-line.xml b/man/kernel-command-line.xml index 2552c79c11..68460ac93d 100644 --- a/man/kernel-command-line.xml +++ b/man/kernel-command-line.xml @@ -255,6 +255,8 @@ <term><varname>rd.udev.children-max=</varname></term> <term><varname>udev.exec-delay=</varname></term> <term><varname>rd.udev.exec-delay=</varname></term> + <term><varname>udev.event-timeout=</varname></term> + <term><varname>rd.udev.event-timeout=</varname></term> <term><varname>net.ifnames=</varname></term> <listitem> |