1 --- a/scripts/boot/9990-grml-networking.sh
2 +++ b/scripts/boot/9990-grml-networking.sh
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
16 allow-hotplug ${interface}
17 iface ${interface} inet ${method}