From c7085af919c3de6435057c98a3f69d92911280b3 Mon Sep 17 00:00:00 2001
From: Charlotte Van Petegem <charlotte@vanpetegem.me>
Date: Fri, 13 Mar 2020 09:36:12 +0100
Subject: [PATCH] Add dev domains to hosts

---
 profiles/graphical/default.nix | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/profiles/graphical/default.nix b/profiles/graphical/default.nix
index 1166290c..bc25c4ab 100644
--- a/profiles/graphical/default.nix
+++ b/profiles/graphical/default.nix
@@ -40,11 +40,14 @@
     ];
   };
 
-  networking.networkmanager = {
+  networking = {
+    hosts = { "127.0.0.1" = [ "dodona.localhost" "sandbox.localhost" ]; };
+    networkmanager = {
     enable = true;
     packages = [ pkgs.networkmanager-vpnc ];
     wifi.macAddress = "random";
   };
+};
 
   virtualisation.docker.enable = true;