01/02: hydra/berlin: Update network interface names.

[Ricardo Wurmus]

rekado pushed a commit to branch master
in repository maintenance.

commit e3e9215601e9db4f8782516885b7fcd62db67d25
Author: Ricardo Wurmus <rekado@elephly.net>
AuthorDate: Tue Jun 16 22:15:39 2020 +0200

    hydra/berlin: Update network interface names.
    
    * hydra/berlin.scm: Update network interface names after migration to
    new server hardware.
---
 hydra/berlin.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/hydra/berlin.scm b/hydra/berlin.scm
index 9e0ae15..85cd2e3 100644
--- a/hydra/berlin.scm
+++ b/hydra/berlin.scm
@@ -180,12 +180,12 @@ Happy hacking!\n"))
 
              ;; Connection to the DMZ for public access
              ;; This is a 10G port.
-             (static-networking-service "enp129s0f0"
+             (static-networking-service "eno2d1"
                                         "141.80.181.40"
                                         #:netmask "255.255.255.0"
                                         #:gateway "141.80.181.1")
              ;; Connection to build nodes
-             (static-networking-service "enp129s0f1"
+             (static-networking-service "eno1"
                                         "141.80.167.131"
                                         #:netmask "255.255.255.192")