etc/dev.d/net/hotplug.dev

   1 #!/bin/sh
   2 #
   3 # Script to ensure that any network device that udev renames
   4 # still gets the hotplug script run with the proper name.
   5 #
   6 # Released under the GPL v2
   7 #
   8 # Copyright (C) 2004 Greg Kroah-Hartman <greg@kroah.com>
   9 #
  10
  11 # Do nothing if udev handles hotplug.d.
  12 if [ "$MANAGED_EVENT" == "1" ]; then
  13         exit 0
  14 fi
  15
  16 # ok, we have renamed this device, so let the network hotplug script
  17 # know about it to setup the device properly...
  18 if [ -f /etc/hotplug.d/default/default.hotplug ]; then
  19         exec /etc/hotplug.d/default/default.hotplug net
  20 fi
  21