From c1f17cad85bcd3c1227b58c3546f018b2f85b987 Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Wed, 18 Jun 2025 16:36:34 +0200
Subject: [PATCH] Add ac.upc.edu as name search server

Allows referring to fox.ac.upc.edu directly as fox.
---
 m/tent/configuration.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/m/tent/configuration.nix b/m/tent/configuration.nix
index 956a191c..1b7473f8 100644
--- a/m/tent/configuration.nix
+++ b/m/tent/configuration.nix
@@ -30,7 +30,7 @@
 
     # Only BSC DNSs seem to be reachable from the office VLAN
     nameservers = [ "84.88.52.35" "84.88.52.36" ];
-    search = [ "bsc.es" ];
+    search = [ "bsc.es" "ac.upc.edu" ];
     defaultGateway = "10.0.44.1";
   };