feat(home/development): set key for git.sefidel.com

Currently the server accepts both of my keys,
and the GPG Authentication subkey is used for provisioning the server.
Therefore, an explicit declaration of the IdentityFile to use is needed.

The 'IdentitiesOnly' option is added since gpg's ssh-agent
always tries their key first.

1 files changed, 11 insertions, 0 deletions

diff --git a/home/profiles/development/default.nix b/home/profiles/development/default.nix
index c0ae5a5..098f935 100644
--- a/home/profiles/development/default.nix
+++ b/home/profiles/development/default.nix
@@ -79,6 +79,17 @@ in
       ];
     };
 
+    # GPG Authentication subkey is used for provisioning the server,
+    # thus we need to use fallback key to identify with gitolite.
+    programs.ssh.enable = true; # this has no relation with the sshd daemon.
+    programs.ssh.extraConfig = ''
+      Host git.sefidel.com
+        User git
+        Port 22
+        IdentityFile ~/.ssh/id_ed25519
+        IdentitiesOnly true
+    '';
+
     home.packages = [
       pkgs.bfg-repo-cleaner
       # pkgs.diffoscopeMinimal # broken (rpm)