X-Git-Url: http://git.grml.org/?a=blobdiff_plain;f=debian%2Fpatches%2F36_support_dhcp_bootoption.patch;fp=debian%2Fpatches%2F36_support_dhcp_bootoption.patch;h=0000000000000000000000000000000000000000;hb=a28e74b88e4e4e27f8d67d3bf6a2c96f33614e43;hp=ad416e3227c586c177c8fb96e2b67d4e2771c04c;hpb=4ab3bcb19af44f09ab482a00993bea892ef70230;p=live-boot-grml.git diff --git a/debian/patches/36_support_dhcp_bootoption.patch b/debian/patches/36_support_dhcp_bootoption.patch deleted file mode 100644 index ad416e3..0000000 --- a/debian/patches/36_support_dhcp_bootoption.patch +++ /dev/null @@ -1,17 +0,0 @@ ---- a/components/9990-grml-networking.sh -+++ b/components/9990-grml-networking.sh -@@ -59,6 +59,14 @@ - method="manual" - fi - -+ # if boot option "nodhcp" is set but also boot option "dhcp" is -+ # set, then dhcp should win over it as we default to dhcp and if -+ # nodhcp is used as default boot option but "dhcp" is added then it -+ # would be confusing to not get a working network setup -+ if [ "$DHCP" = "true" ] ; then -+ method="dhcp" -+ fi -+ - cat >> $IFFILE << EOF - allow-hotplug ${interface} - iface ${interface} inet ${method}