diff options
| author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2016-10-22 14:38:49 -0400 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2016-10-22 14:42:12 -0400 |
| commit | 92e724670f700d100b8cc8cbaea776b053be31ed (patch) | |
| tree | 9b18c14a41625bbcf6ce80cfdd6729c8bd7ebcb7 /man/udev.xml | |
| parent | 5707ecf300a96376449d2d7670a61e64bb53a236 (diff) | |
udev: change kernel commandline option parsing
- do not crash if an option without value is specified on the kernel command
line, e.g. "udev.log-priority" :P
- simplify the code a bit
- warn about unknown "udev.*" options — this should make it easier to spot
typos and reduce user confusion
Diffstat (limited to 'man/udev.xml')
0 files changed, 0 insertions, 0 deletions