diff options
| author | md@Linux.IT <md@Linux.IT> | 2004-10-13 20:53:52 -0700 |
|---|---|---|
| committer | Greg KH <gregkh@suse.de> | 2005-04-26 21:47:44 -0700 |
| commit | d30ef6b192a39cf69f9e6037a4c984ccf533f721 (patch) | |
| tree | fec5f19309c252cf2fff602c743a8e33569f6f6e /etc/dev.d | |
| parent | b808414477b07ee827ebc41390b812fe8488297a (diff) | |
[PATCH] small udev patch
You should also remove etc/dev.d/default/dbus.dev which does not exist
anymore.
BTW, please remove etc/init.d/udev.debian because it is broken.
Diffstat (limited to 'etc/dev.d')
| -rw-r--r-- | etc/dev.d/net/hotplug.dev | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/dev.d/net/hotplug.dev b/etc/dev.d/net/hotplug.dev index ed64c08cf2..15cc5cb52e 100644 --- a/etc/dev.d/net/hotplug.dev +++ b/etc/dev.d/net/hotplug.dev @@ -18,6 +18,6 @@ fi INTERFACE=$DEVNAME export INTERFACE if [ -f /etc/hotplug.d/default/default.hotplug ]; then - /etc/hotplug.d/default/default.hotplug net + exec /etc/hotplug.d/default/default.hotplug net fi |