From d1e556905cd146478121d9d64948b8985c31de0b Mon Sep 17 00:00:00 2001
From: "martin f. krafft" <madduck@madduck.net>
Date: Thu, 13 Oct 2022 23:12:27 +0200
Subject: [PATCH 1/1] kids jukebox operational in gern

---
 .ssh/config.in | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/.ssh/config.in b/.ssh/config.in
index 95dd666..6863f79 100644
--- a/.ssh/config.in
+++ b/.ssh/config.in
@@ -167,8 +167,9 @@ Host julia-luks
   UserKnownHostsFile /dev/null
   User root
 
-Host echo.gern.madduck.net | echo.gern | echo
-  Hostname echo.gern.madduck.net
+Host echo.kids.gern | echo.kids | jukebox.kids.gern | jukebox.kids
+  Hostname echo.kids.gern.madduck.net
+  HostKeyAlias echo.kids.gern.madduck.net
 
 Host visitor*.gern.madduck.net | visitor*.gern
   StrictHostKeyChecking no
-- 
2.39.5