From f68c977a20daa4d2e62f76e1f58a26188ef84b64 Mon Sep 17 00:00:00 2001
From: tv <tv@krebsco.de>
Date: Sun, 7 Feb 2016 05:14:37 +0100
Subject: [PATCH] tv: define config.krebs.hosts.*.nets.gg23.ssh.port

---
 krebs/3modules/tv/default.nix | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/krebs/3modules/tv/default.nix b/krebs/3modules/tv/default.nix
index ca07acd17..b9a6c5163 100644
--- a/krebs/3modules/tv/default.nix
+++ b/krebs/3modules/tv/default.nix
@@ -198,6 +198,7 @@ with lib;
         gg23 = {
           addrs4 = ["10.23.1.110"];
           aliases = ["nomic.gg23"];
+          ssh.port = 11423;
         };
         retiolum = {
           addrs4 = ["10.243.0.110"];
@@ -292,6 +293,7 @@ with lib;
         gg23 = {
           addrs4 = ["10.23.1.37"];
           aliases = ["wu.gg23"];
+          ssh.port = 11423;
         };
         retiolum = {
           addrs4 = ["10.243.13.37"];
@@ -326,6 +328,7 @@ with lib;
         gg23 = {
           addrs4 = ["10.23.1.38"];
           aliases = ["xu.gg23"];
+          ssh.port = 11423;
         };
         retiolum = {
           addrs4 = ["10.243.13.38"];