diff options
| author | tv <tv@krebsco.de> | 2016-02-01 03:00:48 +0100 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2016-02-01 03:32:30 +0100 |
| commit | c3c4aac670cf0ac26340061cef1527b3d7f64386 (patch) | |
| tree | 6d504709b7f1fa2274d2867b4cdbad4966f0c622 /krebs/default.nix | |
| parent | 1a4437cb26a29400d33486d6c8a220a9e88f4132 (diff) | |
make deploy2: deploy using nixos-rebuild switch
Diffstat (limited to 'krebs/default.nix')
| -rw-r--r-- | krebs/default.nix | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/krebs/default.nix b/krebs/default.nix index 15d0e8e2..2cdecacc 100644 --- a/krebs/default.nix +++ b/krebs/default.nix @@ -171,9 +171,12 @@ let out = { ${b} ''; - get-config = system: - stockholm.users.${current-user-name}.${system}.config + get-config = system: let + config = stockholm.users.${current-user-name}.${system}.config or (abort "unknown system: ${system}, user: ${current-user-name}"); + in + assert config.krebs.build.source-version == 1; + config; nix-install = { system ? current-host-name |