summaryrefslogtreecommitdiff
path: root/etc/dev.d
diff options
context:
space:
mode:
authorgreg@kroah.com <greg@kroah.com>2004-04-01 21:38:59 -0800
committerGreg KH <gregkh@suse.de>2005-04-26 21:35:13 -0700
commitd5853b48fb098ca63af813ae74cd6af3a9400d01 (patch)
tree6f22e7df60eb8bd543609b2054dbeacab67eaf17 /etc/dev.d
parenta008521bb8a619b63a2d6e9c1e16b3a113a6cf20 (diff)
[PATCH] add hotplug.dev script to handle renamed network devices.
Diffstat (limited to 'etc/dev.d')
-rw-r--r--etc/dev.d/net/hotplug.dev23
1 files changed, 23 insertions, 0 deletions
diff --git a/etc/dev.d/net/hotplug.dev b/etc/dev.d/net/hotplug.dev
new file mode 100644
index 0000000000..ed64c08cf2
--- /dev/null
+++ b/etc/dev.d/net/hotplug.dev
@@ -0,0 +1,23 @@
+#!/bin/sh
+#
+# Script to ensure that any network device that udev renames
+# still gets the hotplug script run with the proper name.
+#
+# Released under the GPL v2
+#
+# Copyright (C) 2004 Greg Kroah-Hartman <greg@kroah.com>
+#
+
+# See if we really did rename this device.
+if [ "$INTERFACE" = "$DEVNAME" ]; then
+ exit 0
+fi
+
+# ok, we have renamed this device, so let's set $INTERFACE to the new name
+# and call the network hotplug script to handle it properly...
+INTERFACE=$DEVNAME
+export INTERFACE
+if [ -f /etc/hotplug.d/default/default.hotplug ]; then
+ /etc/hotplug.d/default/default.hotplug net
+fi
+