debian/patches/36_support_dhcp_bootoption.patch

   1 --- a/components/9990-grml-networking.sh
   2 +++ b/components/9990-grml-networking.sh
   3 @@ -59,6 +59,14 @@
   4          method="manual"
   5      fi
   6
   7 +    # if boot option "nodhcp" is set but also boot option "dhcp" is
   8 +    # set, then dhcp should win over it as we default to dhcp and if
   9 +    # nodhcp is used as default boot option but "dhcp" is added then it
  10 +    # would be confusing to not get a working network setup
  11 +    if [ "$DHCP" = "true" ] ; then
  12 +        method="dhcp"
  13 +    fi
  14 +
  15      cat >> $IFFILE << EOF
  16  allow-hotplug ${interface}
  17  iface ${interface} inet ${method}