wok diff dhcp/stuff/dhcpd @ rev 20302

Add grub2-efi-modules
author Pascal Bellard <pascal.bellard@slitaz.org>
date Fri May 04 12:13:00 2018 +0200 (2018-05-04)
parents ff5fd8788cd9
children
line diff
     1.1 --- a/dhcp/stuff/dhcpd	Fri May 27 01:40:23 2016 +0300
     1.2 +++ b/dhcp/stuff/dhcpd	Fri May 04 12:13:00 2018 +0200
     1.3 @@ -14,6 +14,10 @@
     1.4  OPTIONS=$DHCPD_OPTIONS
     1.5  PIDFILE=/var/run/dhcpd.pid
     1.6  
     1.7 +for i in $OPTIONS ; do
     1.8 +	case "$i" in eth*.*) vconfig set_flag $i 1 1; esac
     1.9 +done
    1.10 +
    1.11  case "$1" in
    1.12    start)
    1.13      if active_pidfile $PIDFILE dhcpd ; then