From 00c87e906580a17da2d1f306c415ffc2d2b5fe6e Mon Sep 17 00:00:00 2001 From: makefu Date: Thu, 17 Aug 2023 20:42:53 +0200 Subject: [PATCH] ma: podcast.savar.de -> savarcast --- kartei/makefu/default.nix | 6 +++--- .../makefu/retiolum/{podcast.savar.de.pub => savarcast.pub} | 0 .../{podcast.savar.de_ed25519.pub => savarcast_ed25519.pub} | 0 .../wiregrill/{podcast.savar.de.pub => savarcast.pub} | 0 4 files changed, 3 insertions(+), 3 deletions(-) rename kartei/makefu/retiolum/{podcast.savar.de.pub => savarcast.pub} (100%) rename kartei/makefu/retiolum/{podcast.savar.de_ed25519.pub => savarcast_ed25519.pub} (100%) rename kartei/makefu/wiregrill/{podcast.savar.de.pub => savarcast.pub} (100%) diff --git a/kartei/makefu/default.nix b/kartei/makefu/default.nix index 5cf8ad62a..646e6a834 100644 --- a/kartei/makefu/default.nix +++ b/kartei/makefu/default.nix @@ -96,14 +96,14 @@ in { retiolum.ip4.addr = "10.243.0.212"; }; }; - "podcast.savar.de" = rec { + savarcast = rec { nets = { retiolum.ip4 = { addr = "10.243.136.238"; - aliases = [ + }; + retiolum.aliases = [ "sava.r" ]; - }; }; }; x = { diff --git a/kartei/makefu/retiolum/podcast.savar.de.pub b/kartei/makefu/retiolum/savarcast.pub similarity index 100% rename from kartei/makefu/retiolum/podcast.savar.de.pub rename to kartei/makefu/retiolum/savarcast.pub diff --git a/kartei/makefu/retiolum/podcast.savar.de_ed25519.pub b/kartei/makefu/retiolum/savarcast_ed25519.pub similarity index 100% rename from kartei/makefu/retiolum/podcast.savar.de_ed25519.pub rename to kartei/makefu/retiolum/savarcast_ed25519.pub diff --git a/kartei/makefu/wiregrill/podcast.savar.de.pub b/kartei/makefu/wiregrill/savarcast.pub similarity index 100% rename from kartei/makefu/wiregrill/podcast.savar.de.pub rename to kartei/makefu/wiregrill/savarcast.pub