Dan Peebles 0cb623c3d9 fetchurl: add user agent ... It would be nice to be able to track Nix requests. It's not trustworthy, but can be helpful for stats and routing in HTTP logs. Since `fetchurl` is used so widely, we should "magically" get a UA on `fetchzip`, `fetchFromGitHub`, and other related fetchers. Since `fetchurl` is only used for fixed-output derivations, this should cause no mass rebuild. User-Agent example: curl/7.57.0 Nixpkgs/18.03		2017-12-23 22:20:56 +00:00
..
boot.nix	fetchurlBoot: add name attr	2017-08-04 08:22:04 +02:00
builder.sh	fetchurl: add user agent	2017-12-23 22:20:56 +00:00
default.nix	fetchurl: add user agent	2017-12-23 22:20:56 +00:00
mirrors.nix	mirrors: update apache and cpan mirrors	2017-08-24 04:22:07 +00:00
write-mirror-list.sh	fetchurl: change to grep -E to fix #8561	2017-01-13 19:07:07 +01:00