From 4630c8add7355a6b1ebcb4f06d9c0f41177a2158 Mon Sep 17 00:00:00 2001
From: Jaculabilis <root@empyrean>
Date: Sun, 27 Nov 2022 02:51:05 +0000
Subject: [PATCH] Manage ssh keys in config

---
 machine/empyrean/default.nix | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/machine/empyrean/default.nix b/machine/empyrean/default.nix
index b2407ab..6e0f3ce 100644
--- a/machine/empyrean/default.nix
+++ b/machine/empyrean/default.nix
@@ -163,6 +163,10 @@
     isNormalUser = true;
     group = "tvb";
     extraGroups = [ "wheel" ]; # Enable ‘sudo’ for the user.
+    openssh.authorizedKeys.keyFiles = [
+      ../../keys/tvb.palamas.pub
+      ../../keys/tvb.stagirite.pub
+    ];
   };
   users.groups.tvb = {};