2022-10-13 22:13:43 -04:00
|
|
|
{ config, lib, pkgs, ... }:
|
|
|
|
|
|
|
|
{
|
|
|
|
nathan = {
|
2022-11-05 15:57:12 -04:00
|
|
|
programs = {
|
|
|
|
util = { git = { gpgSign = false; }; };
|
|
|
|
devel = {
|
|
|
|
idris2 = false;
|
|
|
|
haskell = false;
|
|
|
|
js = false;
|
|
|
|
raku = false;
|
|
|
|
python = false;
|
|
|
|
};
|
|
|
|
};
|
2022-10-13 22:13:43 -04:00
|
|
|
config = { isDesktop = true; };
|
|
|
|
};
|
2023-03-27 18:37:02 -04:00
|
|
|
# Setup git commit signing with ssh key
|
|
|
|
programs.git = {
|
|
|
|
extraConfig = {
|
2023-03-27 18:59:34 -04:00
|
|
|
commit.gpgsign = true;
|
2023-03-27 18:37:02 -04:00
|
|
|
gpg.format = "ssh";
|
2023-03-27 18:59:34 -04:00
|
|
|
user.signingkey = "~/.ssh/id_ed25519.pub";
|
2023-03-27 18:37:02 -04:00
|
|
|
};
|
|
|
|
};
|
2022-10-13 22:13:43 -04:00
|
|
|
}
|