debian/patches/16_nodhcp.patch

   1 #! /bin/sh /usr/share/dpatch/dpatch-run
   2 ## 16_nodhcp.dpatch by Ulrich Dangel <mru@grml.org>
   3 ##
   4 ## All lines beginning with `## DP:' are a description of the patch.
   5 ## DP: Handle explicit "nodhcp"
   6
   7 @DPATCH@
   8
   9 Index: live-boot-grml/components/9990-cmdline-old
  10 ===================================================================
  11 --- live-boot-grml.orig/components/9990-cmdline-old     2014-03-08 13:28:01.059812396 +0100
  12 +++ live-boot-grml/components/9990-cmdline-old  2014-03-08 13:28:01.055812866 +0100
  13 @@ -33,6 +33,8 @@
  14                         nodhcp)
  15                                 DHCP=""
  16                                 export DHCP
  17 +                               NODHCP="Yes"
  18 +                               export NODHCP
  19                                 ;;
  20
  21                         ethdevice=*)