diff options
author | tv <tv@shackspace.de> | 2015-09-27 15:18:54 +0200 |
---|---|---|
committer | tv <tv@shackspace.de> | 2015-09-27 15:18:54 +0200 |
commit | 2d1985e42006c121eac4bd915bee3e436ebcd314 (patch) | |
tree | f229a70690994a149e27d15d11e44165fb6c8e49 | |
parent | 95f1673f1f50384682815effa675e5ef5c68847e (diff) |
infest: don't init contents of the NixOS channel
-rw-r--r-- | krebs/3modules/build/default.nix | 16 |
1 files changed, 10 insertions, 6 deletions
diff --git a/krebs/3modules/build/default.nix b/krebs/3modules/build/default.nix index d6ee5c917..19f14b486 100644 --- a/krebs/3modules/build/default.nix +++ b/krebs/3modules/build/default.nix @@ -67,12 +67,16 @@ let src=$(type -p nixos-install) cat_src() { sed < "$src" "$( - sed < "$src" -n ' - /^if ! test -e "\$mountPoint\/\$NIXOS_CONFIG/,/^fi$/= - /^nixpkgs=/= - /^NIX_PATH=/,/^$/{/./=} - ' \ - | sed 's:$:s/^/#krebs#/:' + { sed < "$src" -n ' + /^if ! test -e "\$mountPoint\/\$NIXOS_CONFIG/,/^fi$/= + /^nixpkgs=/= + /^NIX_PATH=/,/^$/{/./=} + + # Disable: Copy the NixOS/Nixpkgs sources to the target as + # the initial contents of the NixOS channel. + /^srcs=/,/^ln -sfn /= + ' + } | sed 's:$:s/^/#krebs#/:' )" } |