From aa58fb3dd5240c4dacbf4ea4eb6905db9b478c6f Mon Sep 17 00:00:00 2001
From: Jan Heidbrink <jan.heidbrink@posteo.de>
Date: Wed, 31 May 2023 15:38:57 +0200
Subject: [PATCH] kartei: IPv4 address for grill

---
 kartei/jan/default.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/kartei/jan/default.nix b/kartei/jan/default.nix
index 16afaa114..72b5cb331 100644
--- a/kartei/jan/default.nix
+++ b/kartei/jan/default.nix
@@ -66,6 +66,7 @@ in {
     owner = config.krebs.users.jan;
     nets.retiolum = {
       aliases = [ "grill.r" ];
+      ip4.addr = "10.243.217.217";
       ip6.addr = (lib.krebs.genipv6 "retiolum" "jan" { hostName = "grill"; }).address;
       tinc.pubkey = ''
         -----BEGIN RSA PUBLIC KEY-----