wroclaw-git-backups/nix
1
0
Fork 0
mirror of https://github.com/NixOS/nix synced 2025-07-06 21:41:48 +02:00
Code Activity

--proxy=proxy:3128

Browse source
This commit is contained in:
Michael Raskin 2008-05-07 14:18:28 +00:00
parent b1e321d6ce
commit b4bc8b7616
4 changed files with 53 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
scripts/nix-reduce-build.in
View file

@ -65,7 +65,7 @@ for i in "$@"; do
done;
elif [ "$i" != "$httpHost" ] || [ "$i" != "$httpsHost" ]; then
cat needed-paths | while read; do
curl -L "$i${REPLY##*/}" | gunzip | nix-store --import;
curl ${BAD_CERTIFICATE:+-k} -L "$i${REPLY##*/}" | gunzip | nix-store --import;
done;
fi;
mv needed-paths wanted-paths;