chiark
/
gitweb
/
~ianmdlvl
/
elogind.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
remove "ignore_remove" option
[elogind.git]
/
udev
/
udev.xml
diff --git
a/udev/udev.xml
b/udev/udev.xml
index 9275e0f79f7fa2fde677bf91cccea9b6cf64fb61..dce953dbce10741ce2f02f3ce19624a28a38de7c 100644
(file)
--- a/
udev/udev.xml
+++ b/
udev/udev.xml
@@
-435,13
+435,6
@@
<listitem>
<para>Rule and device options:</para>
<variablelist>
<listitem>
<para>Rule and device options:</para>
<variablelist>
- <varlistentry>
- <term><option>ignore_remove</option></term>
- <listitem>
- <para>Do not remove the device node when the device goes away. This may be
- useful as a workaround for broken device drivers.</para>
- </listitem>
- </varlistentry>
<varlistentry>
<term><option>link_priority=<replaceable>value</replaceable></option></term>
<listitem>
<varlistentry>
<term><option>link_priority=<replaceable>value</replaceable></option></term>
<listitem>