home: add divoc walint host to ssh config

1 files changed, 5 insertions, 0 deletions

diff --git a/home/home.nix b/home/home.nix
index 88b0abc..3f08968 100644
--- a/home/home.nix
+++ b/home/home.nix
@@ -218,6 +218,11 @@
         user = "ra72koc";
         identityFile = keydir + "/key_lmu";
       };
+      "tehanu" = {
+        hostname = "185.138.143.235";
+        user = "nixos";
+        identityFile = keydir + "/id_ed25519";
+      };
     };
   };