From 726ba0de3422e8137c3b51bfbbff88fafaef2a8b Mon Sep 17 00:00:00 2001
From: Ingolf Wagner <contact@ingolf-wagner.de>
Date: Fri, 27 Jan 2023 13:23:53 +0100
Subject: update palos retiolum entries

---
 kartei/palo/default.nix | 56 +++++--------------------------------------------
 1 file changed, 5 insertions(+), 51 deletions(-)

(limited to 'kartei')

diff --git a/kartei/palo/default.nix b/kartei/palo/default.nix
index 4caf41f87..9d35c3808 100644
--- a/kartei/palo/default.nix
+++ b/kartei/palo/default.nix
@@ -1,5 +1,6 @@
 with import ../../lib;
-{ config, ... }: let
+{ config, ... }:
+let
 
   hostDefaults = hostName: host: flip recursiveUpdate host ({
     ci = false;
@@ -13,62 +14,15 @@ with import ../../lib;
       (krebs.genipv6 "wiregrill" "external" { inherit hostName; }).address;
   });
 
-in {
+in
+{
   hosts = mapAttrs hostDefaults {
-    pepe = {
-      owner = config.krebs.users.palo;
-      nets = {
-        retiolum = {
-          ip4.addr = "10.243.23.1";
-          tinc.port = 720;
-          aliases = [ "pepe.r" ];
-          tinc.pubkey = builtins.readFile ./retiolum.pub;
-        };
-      };
-    };
-    schasch = {
-      owner = config.krebs.users.palo;
-      nets = {
-        retiolum = {
-          ip4.addr = "10.243.23.2";
-          tinc.port = 720;
-          aliases = [ "schasch.r" ];
-          tinc.pubkey = builtins.readFile ./retiolum.pub;
-        };
-      };
-      syncthing.id = "FLY7DHI-TJLEQBJ-JZNC4YV-NBX53Z2-ZBRWADL-BKSFXYZ-L4FMDVH-MOSEVAQ";
-    };
     sterni = {
       owner = config.krebs.users.palo;
       nets = {
         retiolum = {
-          ip4.addr = "10.243.23.3";
-          tinc.port = 720;
-          aliases = [
-            "sterni.r"
-          ];
-          tinc.pubkey = builtins.readFile ./retiolum.pub;
-        };
-      };
-    };
-    workhorse = {
-      owner = config.krebs.users.palo;
-      nets = {
-        retiolum = {
-          ip4.addr = "10.243.23.5";
-          tinc.port = 720;
-          aliases = [ "workhorse.r" ];
-          tinc.pubkey = builtins.readFile ./retiolum.pub;
-        };
-      };
-    };
-    workout = {
-      owner = config.krebs.users.palo;
-      nets = {
-        retiolum = {
-          ip4.addr = "10.243.23.4";
           tinc.port = 720;
-          aliases = [ "workout.r" ];
+          aliases = [ "sterni.r" ];
           tinc.pubkey = builtins.readFile ./retiolum.pub;
         };
       };
-- 
cgit v1.2.3