Rename Peer to 'Backing Agent'

This commit is contained in:
bluepython508
2024-09-26 13:06:58 +01:00
parent 85bf788307
commit bdacd9905e
6 changed files with 39 additions and 39 deletions

View File

@@ -42,18 +42,18 @@
default = "${config.home.homeDirectory}/.ssh/frajtano";
type = lib.types.path;
};
initialPeers = lib.mkOption {
description = "initially spawned peers - will be passed to /usr/bin/env";
initialBackingAgents = lib.mkOption {
description = "initially spawned backing_agents - will be passed to /usr/bin/env";
type = with lib.types; listOf (listOf str);
default = [];
};
};
config = let
peers = lib.strings.concatMapStringsSep ", " (args: ''{:spawn, {"${pkgs.coreutils}/bin/env", [${lib.concatMapStringsSep ", " (s: ''~S{${s}}'') args}]}}'') cfg.initialPeers;
backing_agents = lib.strings.concatMapStringsSep ", " (args: ''{:spawn, {"${pkgs.coreutils}/bin/env", [${lib.concatMapStringsSep ", " (s: ''~S{${s}}'') args}]}}'') cfg.initialBackingAgents;
configFile = pkgs.writeText "config.exs" ''
import Config
config :frajtano, initial_peers: [${peers}]
config :frajtano, initial_backing_agents: [${backing_agents}]
'';
in lib.mkIf cfg.enable {
home.sessionVariables.FRAJTANO_DIR = cfg.dir;