home

commit 7219fe1051f5ec5d3ce1acbe39fcd629146774e5
parent 52c00fb4ec1405a3ca74bab3e199f97d20c882f2
Author: Vincent Demeester <vincent@sbr.pm>
Date:   Mon,  1 Jul 2019 14:15:56 +0200

profiles.ssh: add *.redhat.com specifics

Signed-off-by: Vincent Demeester <vincent@sbr.pm>

Diffstat:
M
modules/profiles/ssh.nix
 | 
4
+++-

1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/modules/profiles/ssh.nix b/modules/profiles/ssh.nix
@@ -23,7 +23,6 @@ in
       hashKnownHosts = true;
       userKnownHostsFile = "${config.xdg.configHome}/ssh/known_hosts";
       controlPath = "${config.home.homeDirectory}/.ssh/sockets/%u-%l-%r@%h:%p";
-    
       matchBlocks = {
         "github.com" = {
           hostname = "github.com";
@@ -47,6 +46,9 @@ in
             controlPersist = "360";
           };
         };
+        "*.redhat.com" = {
+          user = "vdemeest";
+        };
       };
     };
   };