From f9d40a57ef24570e45e5954bb7d9847c354e0951 Mon Sep 17 00:00:00 2001
From: "quentin@aristote.fr" <quentin@aristote.fr>
Date: Sun, 23 Mar 2025 15:16:08 +0100
Subject: home: remove ssh identity profile (unneeded)

---
 home/default.nix | 16 +---------------
 1 file changed, 1 insertion(+), 15 deletions(-)

diff --git a/home/default.nix b/home/default.nix
index bc7026d..8481adb 100644
--- a/home/default.nix
+++ b/home/default.nix
@@ -1,8 +1,4 @@
-{
-  config,
-  pkgs,
-  ...
-}: {
+{pkgs, ...}: {
   personal = {
     profiles = {
       dev = true;
@@ -25,15 +21,5 @@
         sudo ${pkgs.screen}/bin/screen $@
       }
     '';
-
-    # necessary because the hephaistos remote builder sets
-    # nixremote as default ssh user
-    ssh = {
-      enable = true;
-      matchBlocks."hephaistos.local" = {
-        user = config.home.username;
-        extraOptions.IdentitiesOnly = "no";
-      };
-    };
   };
 }
-- 
cgit v1.2.3