diff options
| author | greg@kroah.com <greg@kroah.com> | 2004-04-01 21:38:59 -0800 |
|---|---|---|
| committer | Greg KH <gregkh@suse.de> | 2005-04-26 21:35:13 -0700 |
| commit | d5853b48fb098ca63af813ae74cd6af3a9400d01 (patch) | |
| tree | 6f22e7df60eb8bd543609b2054dbeacab67eaf17 /etc/dev.d | |
| parent | a008521bb8a619b63a2d6e9c1e16b3a113a6cf20 (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.dev | 23 |
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 + |