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;
|
|
|
|
};
|
|
|
|
};
|
|
|
|
};
|
|
|
|
}
|