From 9dd3dceb83e11f65d5c2d992d170a22675291411 Mon Sep 17 00:00:00 2001
From: Bruno BELANYI <bruno@belanyi.fr>
Date: Tue, 25 Jan 2022 15:46:17 +0100
Subject: [PATCH] home: ssh: add 'work' host

---
 home/git/default.ignore | 4 ++++
 home/ssh/default.nix    | 6 ++++++
 2 files changed, 10 insertions(+)

diff --git a/home/git/default.ignore b/home/git/default.ignore
index a169a28..77aedcc 100644
--- a/home/git/default.ignore
+++ b/home/git/default.ignore
@@ -24,3 +24,7 @@ compile_commands.json
 # Swap and backup files
 *~
 ~.swp
+
+# Direnv files
+.envrc
+.direnv/
diff --git a/home/ssh/default.nix b/home/ssh/default.nix
index 3bd7f28..cbfd30c 100644
--- a/home/ssh/default.nix
+++ b/home/ssh/default.nix
@@ -40,6 +40,12 @@ in
         identityFile = "~/.ssh/shared_rsa";
         user = "ambroisie";
       };
+
+      work = {
+        hostname = "workspaces.dgexsol.fr";
+        identityFile = "~/.ssh/shared_rsa";
+        user = "bruno_belanyi";
+      };
     };
 
     extraConfig = ''