From ee354156fe05a96d87580ff835c00fc9aee76a07 Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Mon, 2 Sep 2024 10:21:01 +0200
Subject: [PATCH] Disable DHCP client

---
 lagarto-ox.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lagarto-ox.nix b/lagarto-ox.nix
index d5cec88..7a8b9ff 100644
--- a/lagarto-ox.nix
+++ b/lagarto-ox.nix
@@ -217,6 +217,7 @@
 
   # No network
   services.openssh.enable = false;
+  networking.useDHCP = false;
 
   # Run getty on /dev/console and restartt until it works
   systemd.services."serial-getty@console" = {