From 84bed03367a916dcf875a6768da8b5894ffb95b0 Mon Sep 17 00:00:00 2001
From: Bruno BELANYI <bruno@belanyi.fr>
Date: Fri, 31 Mar 2023 10:44:06 +0000
Subject: [PATCH] home: ssh: remove old 'work' host

I don't work there anymore.
---
 home/ssh/default.nix | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/home/ssh/default.nix b/home/ssh/default.nix
index fa30baa..a2a6752 100644
--- a/home/ssh/default.nix
+++ b/home/ssh/default.nix
@@ -45,12 +45,6 @@ in
         identityFile = "~/.ssh/shared_rsa";
         user = "ambroisie";
       };
-
-      work = {
-        hostname = "workspaces.dgexsol.fr";
-        identityFile = "~/.ssh/shared_rsa";
-        user = "bruno_belanyi";
-      };
     };
 
     extraConfig = ''