From 25e224b3764fda0ca9bdd97e6a7a69c6321e980f Mon Sep 17 00:00:00 2001
From: Igor Pecovnik <igor.pecovnik@gmail.com>
Date: Mon, 22 Jan 2018 18:39:10 +0100
Subject: [PATCH] Debian Stretch next DNS problem fix

---
 lib/desktop.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lib/desktop.sh b/lib/desktop.sh
index e23c597779..d1fb7b7546 100644
--- a/lib/desktop.sh
+++ b/lib/desktop.sh
@@ -63,8 +63,8 @@ install_desktop ()
 	# Enable network manager
 	if [[ -f $SDCARD/etc/NetworkManager/NetworkManager.conf ]]; then
 		sed "s/managed=\(.*\)/managed=true/g" -i $SDCARD/etc/NetworkManager/NetworkManager.conf
-		# Disable dns management withing NM
-		sed "s/\[main\]/\[main\]\ndns=none/g" -i $SDCARD/etc/NetworkManager/NetworkManager.conf
+		# Disable DNS management withing NM for !Stretch
+		[[ $RELEASE != stretch ]] && sed "s/\[main\]/\[main\]\ndns=none/g" -i $SDCARD/etc/NetworkManager/NetworkManager.conf
 		printf '[keyfile]\nunmanaged-devices=interface-name:p2p0\n' >> $SDCARD/etc/NetworkManager/NetworkManager.conf
 	fi