From 83efd6c876f68739cd94013e559cf941aebe816c Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Fri, 6 Jun 2025 14:44:47 +0200
Subject: [PATCH] Use UPC time servers as others are blocked
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Reviewed-by: Aleix Boné <abonerib@bsc.es>
---
 m/fox/configuration.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/m/fox/configuration.nix b/m/fox/configuration.nix
index 29d8fe95..b87f85ce 100644
--- a/m/fox/configuration.nix
+++ b/m/fox/configuration.nix
@@ -22,6 +22,7 @@
   networking = {
     defaultGateway = "147.83.30.130";
     nameservers = [ "8.8.8.8" ];
+    timeServers = [ "ntp1.upc.edu" "ntp2.upc.edu" ];
     hostName = "fox";
     interfaces.enp1s0f0np0.ipv4.addresses = [
       {