set_dns() { echo "search ${HOST_NAME#*.}" > $dns_file if [ "$DNS_SERVER" ]; then echo "nameserver $DNS_SERVER" >> $dns_file service -s dnsmasq &> /dev/null fi # reload dnsmasq if [ -z "$NO_START" ] && [ "`skill -n dnsmasq 2> /dev/null`" ]; then service dnsmasq reload > /dev/null 2>&1 fi }