diff options
author | lassulus <lassulus@lassul.us> | 2017-07-28 13:37:39 +0200 |
---|---|---|
committer | lassulus <lassulus@lassul.us> | 2017-07-28 13:37:39 +0200 |
commit | e312a5f9616ac65102b63919d55bd72264a5e3a6 (patch) | |
tree | d6ffd479d957d89538bf27689a4c2793b9785aa7 | |
parent | e8148b62fdb39ed76361da5b7a6de88a8f800073 (diff) |
krebs ci: add --force-populate
-rw-r--r-- | krebs/3modules/ci.nix | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/krebs/3modules/ci.nix b/krebs/3modules/ci.nix index 542a9252f..6e4db6edd 100644 --- a/krebs/3modules/ci.nix +++ b/krebs/3modules/ci.nix @@ -116,8 +116,12 @@ in "dummy_secrets": "true", }, command=[ - "nix-shell", "--run", - "test --user={} --system={} --target=$LOGNAME@${config.krebs.build.host.name}$HOME/{}".format(user, host, user) + "nix-shell", "--run", " ".join(["test", + "--user={}".format(user), + "--system={}".format(host), + "--force-populate", + "--target=$LOGNAME@${config.krebs.build.host.name}$HOME/{}".format(user), + ]) ] ) |