Move profiles from ./profile-config to ./profile

This commit is contained in:
2021-11-02 09:34:26 -07:00
parent 79b05be7d3
commit 566643e195
48 changed files with 1490 additions and 997 deletions
+18 -7
View File
@@ -51,6 +51,11 @@ in {
type = attrsOf (submodule user.userOpts);
description = "List of users who should have access to the local host";
};
build-seed = mkOption {
type = str;
description = "Seed used to generate configuration.";
};
};
config = let
@@ -86,15 +91,21 @@ in {
config.fudo.domains.${local-domain}.local-networks //
config.fudo.sites.${local-site}.local-networks;
local-profile = host.profile;
build-seed = builtins.readFile config.fudo.secrets.files.build-seed;
in {
instance = {
local-domain = local-domain;
local-site = local-site;
local-users = local-users;
local-admins = local-admins;
local-groups = local-groups;
local-hosts = local-hosts;
local-profile = host.profile;
inherit
build-seed
local-domain
local-site
local-users
local-admins
local-groups
local-hosts
local-profile;
};
};
}