2023-05-18 06:57:58 +02:00
|
|
|
{
|
2023-09-26 22:25:58 +02:00
|
|
|
lib,
|
|
|
|
|
minimal,
|
|
|
|
|
...
|
|
|
|
|
}:
|
|
|
|
|
lib.optionalAttrs (!minimal) {
|
2023-05-18 06:57:58 +02:00
|
|
|
imports = [
|
|
|
|
|
./docs.nix
|
|
|
|
|
];
|
|
|
|
|
environment.enableDebugInfo = true;
|
2023-09-20 18:53:35 +02:00
|
|
|
services.nixseparatedebuginfod.enable = true;
|
2023-08-30 14:25:52 +02:00
|
|
|
environment.shellInit = ''
|
|
|
|
|
gpg-connect-agent /bye
|
|
|
|
|
export SSH_AUTH_SOCK=$(gpgconf --list-dirs agent-ssh-socket)
|
|
|
|
|
umask 077
|
|
|
|
|
'';
|
2023-05-18 06:57:58 +02:00
|
|
|
}
|
