home-environment: add option home.extraProfileCommands

This _internal_ option indicates extra commands that should be run in
the `postBuild` step of the profile environment build.

Fixes #386
This commit is contained in:
Robert Helgesson 2018-09-14 21:08:51 +02:00
parent 50de1a6885
commit ea74820176
No known key found for this signature in database
GPG key ID: 36BDAA14C2797E89

View file

@ -243,6 +243,15 @@ in
Extra commands to run in the Home Manager generation builder. Extra commands to run in the Home Manager generation builder.
''; '';
}; };
home.extraProfileCommands = mkOption {
type = types.lines;
default = "";
internal = true;
description = ''
Extra commands to run in the Home Manager profile builder.
'';
};
}; };
config = { config = {
@ -373,6 +382,8 @@ in
paths = cfg.packages; paths = cfg.packages;
inherit (cfg) extraOutputsToInstall; inherit (cfg) extraOutputsToInstall;
postBuild = cfg.extraProfileCommands;
meta = { meta = {
description = "Environment of packages installed through home-manager"; description = "Environment of packages installed through home-manager";
}; };