2022-07-06 01:42:31 -04:00
|
|
|
{ config, lib, pkgs, ... }:
|
|
|
|
|
|
|
|
{
|
|
|
|
nathan = {
|
|
|
|
services = {
|
|
|
|
email = {
|
|
|
|
# TODO: enable
|
|
|
|
enable = false;
|
|
|
|
};
|
|
|
|
};
|
|
|
|
programs = {
|
2022-10-13 22:13:43 -04:00
|
|
|
util = { productivity = true; };
|
2022-07-06 01:42:31 -04:00
|
|
|
devel = {
|
|
|
|
core = true;
|
|
|
|
rust = true;
|
2022-10-27 17:46:27 -04:00
|
|
|
idris2 = true;
|
2022-07-06 01:42:31 -04:00
|
|
|
};
|
|
|
|
emacs = {
|
|
|
|
enable = true;
|
|
|
|
# TODO: enable
|
|
|
|
service = false;
|
|
|
|
};
|
|
|
|
};
|
|
|
|
};
|
2023-03-11 18:43:11 -05:00
|
|
|
# Setup git commit signing with ssh key
|
|
|
|
programs.git = {
|
|
|
|
extraConfig = {
|
|
|
|
commit.gpgsign = true;
|
|
|
|
gpg.format = "ssh";
|
|
|
|
user.signingkey = "~/.ssh/id_ed25519.pub";
|
|
|
|
};
|
|
|
|
};
|
2022-07-06 01:42:31 -04:00
|
|
|
}
|