From e69c8c6efbcaccc1cb002ffe5710823d848eb300 Mon Sep 17 00:00:00 2001
From: Gonne <gonne@mathebau.de>
Date: Tue, 2 Apr 2024 18:46:41 +0200
Subject: [PATCH] Remove obsolete DNS resolver

---
 nixos/machines/bragi/network.nix | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/nixos/machines/bragi/network.nix b/nixos/machines/bragi/network.nix
index b113b50..af70cb7 100644
--- a/nixos/machines/bragi/network.nix
+++ b/nixos/machines/bragi/network.nix
@@ -10,6 +10,7 @@
       }
     ];
     defaultGateway = "192.168.1.137";
-    nameservers = ["130.83.2.22" "130.83.56.60" "130.83.22.60" "130.82.22.63"];
+    # https://www.hrz.tu-darmstadt.de/services/it_services/nameserver_dns/index.de.jsp
+    nameservers = ["130.83.22.63" "130.83.22.60" "130.83.56.60"];
   };
 }