diff options
Diffstat (limited to 'home')
| -rw-r--r-- | home/profiles/development/default.nix | 11 |
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) |