2023-05-29 12:26:02 +02:00
|
|
|
{ config, ... }:
|
2022-01-18 22:25:37 +01:00
|
|
|
{
|
|
|
|
nix.extraOptions = ''
|
|
|
|
keep-outputs = true
|
|
|
|
keep-derivations = true
|
|
|
|
'';
|
|
|
|
|
2023-05-29 12:26:02 +02:00
|
|
|
home-manager.users.${config.az-username} = {
|
2022-01-18 22:25:37 +01:00
|
|
|
programs.direnv.enable = true;
|
|
|
|
programs.direnv.nix-direnv.enable = true;
|
|
|
|
};
|
|
|
|
}
|