From 74639d3ecec8f9de225e8b17972bcb742b6abbf6 Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Thu, 27 Apr 2023 18:29:32 +0200
Subject: [PATCH] Update ib interface name in xeon02

It seems to be plugged in another PCI port
---
 xeon02/configuration.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/xeon02/configuration.nix b/xeon02/configuration.nix
index 06d88ff..1b06afd 100644
--- a/xeon02/configuration.nix
+++ b/xeon02/configuration.nix
@@ -17,7 +17,7 @@
       address = "10.0.40.2";
       prefixLength = 24;
     } ];
-    interfaces.ibp5s0.ipv4.addresses = [ {
+    interfaces.ibp129s0.ipv4.addresses = [ {
       address = "10.0.42.2";
       prefixLength = 24;
     } ];