kartei: add domi (#12)

* kartei: add domi
---------

Co-authored-by: Dominic Wrege <dominic.wrege001@stud.fh-dortmund.de>

1 files changed, 16 insertions, 0 deletions

diff --git a/kartei/domi/default.nix b/kartei/domi/default.nix
new file mode 100644
index 000000000..ec3c89f12
--- /dev/null
+++ b/kartei/domi/default.nix
@@ -0,0 +1,16 @@
+{ config, ... }:
+{
+  users.domi = {
+    mail = "mail@domi.de";
+  };
+  hosts.domi = {
+    owner = config.krebs.users.domi;
+    nets.wiregrill = {
+      ip4.addr = "10.244.10.108";
+      aliases = [
+        "domi.w"
+      ];
+      wireguard.pubkey = "Yy1pvM0lEwaXuOwBoFGNYhHeyYEKuR/rovE0/myWyCI=";
+    };
+  };
+}