From e66584008620ba6e2eaeaa8c0343d2c89804f61f Mon Sep 17 00:00:00 2001
From: Paul Menzel <pmenzel@molgen.mpg.de>
Date: Thu, 1 Mar 2018 16:40:35 +0100
Subject: [PATCH] systemd: Use 141.14.16.1 as default DNS server

No entry for IPv6 is added.

Note, this is added as `FallbackDNS`.
---
 systemd.be0 | 1 +
 1 file changed, 1 insertion(+)

diff --git a/systemd.be0 b/systemd.be0
index e8ac5eaf4..cd1f8f23f 100755
--- a/systemd.be0
+++ b/systemd.be0
@@ -58,6 +58,7 @@ mee_configure() {
         -Dblkid=true \
         -Dbuildtype=release \
         -Ddefault-dnssec=no \
+        -Ddns-servers='141.14.16.1' \
         -Dntp-servers='zeit.fu-berlin.de ntps1-0.cs.tu-berlin.de time.fu-berlin.de' \
         -Dfirstboot=false \
         -Dinstall-tests=false \