branch master updated: berlin: Update network interface identifier.

[Ricardo Wurmus]

This is an automated email from the git hooks/post-receive script.

rekado pushed a commit to branch master
in repository maintenance.

The following commit(s) were added to refs/heads/master by this push:
     new 41ea5e3  berlin: Update network interface identifier.
41ea5e3 is described below

commit 41ea5e31df45d8d13b51b44822f94dc782d1e80e
Author: Ricardo Wurmus <rekado@elephly.net>
AuthorDate: Wed Jan 6 23:20:30 2021 +0100

    berlin: Update network interface identifier.
    
    This was found to be necessary when we last rebooted the node.
    
    * hydra/berlin.scm <services>[static-networking-service]: Replace
    "eno2d1" with "eno2".
---
 hydra/berlin.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/hydra/berlin.scm b/hydra/berlin.scm
index d860170..c1e4894 100644
--- a/hydra/berlin.scm
+++ b/hydra/berlin.scm
@@ -267,7 +267,7 @@ Happy hacking!\n"))
 
              ;; Connection to the DMZ for public access
              ;; This is a 10G port.
-             (static-networking-service "eno2d1"
+             (static-networking-service "eno2"
                                         "141.80.181.40"
                                         #:netmask "255.255.255.0"
                                         #:gateway "141.80.181.1")