From 7f0b1b1601def1782b37a26de34ea7d548e33351 Mon Sep 17 00:00:00 2001
From: mischa <mischa@rx.high5.nl>
Date: Sat, 6 Oct 2018 09:57:58 +0200
Subject: [PATCH] dhcpd.conf domain-name-servers

---
 deploy.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deploy.sh b/deploy.sh
index 9c1446b..dba0cda 100755
--- a/deploy.sh
+++ b/deploy.sh
@@ -192,7 +192,7 @@ render_dhcpd_conf() {
 	# fetch_ip() to get the correct IP address of the VM.
 	printf "#\\n# File generated on %s\\n#\\n" "$date"
 	printf "option domain-name \"%s\";\\n" "$DOMAIN"
-	printf "option domain-name-servers \"%s\";\\n\\n" "$DNS"
+	printf "option domain-name-servers %s;\\n\\n" "$DNS"
 	printf "subnet %s netmask %s {\\n" "$SUBNET" "$NETMASK"
 	printf "\\toption routers %s;\\n" "$ROUTER"
 	printf "\\tserver-name \"%s.%s\";\\n" "$SERVER" "$DOMAIN"