diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/nix-reduce-build.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/nix-reduce-build.in b/scripts/nix-reduce-build.in index 2fd946c65428..b9c9b864fa72 100644 --- a/scripts/nix-reduce-build.in +++ b/scripts/nix-reduce-build.in @@ -62,14 +62,17 @@ for i in "$@"; do filePath="${i#file:/}"; if [ "$i" != "$sshHost" ]; then cat needed-paths | while read; do + echo "Getting $REPLY and its closure over ssh" nix-copy-closure --from "$sshHost" --gzip "$REPLY" </dev/null || true; done; elif [ "$i" != "$httpHost" ] || [ "$i" != "$httpsHost" ]; then cat needed-paths | while read; do + echo "Getting $REPLY over http/https" curl ${BAD_CERTIFICATE:+-k} -L "$i${REPLY##*/}" | gunzip | nix-store --import; done; elif [ "$i" != "filePath" ] ; then cat needed-paths | while read; do + echo "Installing $REPLY from file" gunzip < "$filePath/${REPLY##*/}".nar.gz | nix-store --import; done; fi; |