home/ssh: add regiolis config

1 files changed, 4 insertions, 0 deletions

diff --git a/home/home.nix b/home/home.nix
index 15df8de..580d57b 100644
--- a/home/home.nix
+++ b/home/home.nix
@@ -355,6 +355,10 @@
         user = "root";
         identityFile = keydir + "/id_ed25519";
       };
+      "regiolis" = {
+        hostname = "regiolis.erpu.eu";
+        user = "terru";
+      };
     };
   };