diff options
author | Pascal Wittmann <mail@pascal-wittmann.de> | 2014-02-08 11:10:47 +0100 |
---|---|---|
committer | Vladimír Čunát <vcunat@gmail.com> | 2014-02-08 11:16:22 +0100 |
commit | 0fa30be7a8725392f92aeb959e880ae5cf1ef891 (patch) | |
tree | 6d82645608560fb2891b5b31911b7b50b75a7d63 /pkgs/data/fonts/andagii | |
parent | 989bfbac7907eb01b6fb6e6183bcfc9c3198bddc (diff) |
andagii: fix fetch by providing a different user-agent
Close #1706.
Diffstat (limited to 'pkgs/data/fonts/andagii')
-rw-r--r-- | pkgs/data/fonts/andagii/default.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pkgs/data/fonts/andagii/default.nix b/pkgs/data/fonts/andagii/default.nix index 8b08708fb1d04..8143d28412063 100644 --- a/pkgs/data/fonts/andagii/default.nix +++ b/pkgs/data/fonts/andagii/default.nix @@ -19,6 +19,7 @@ in rec { src = a.fetchurl { url = sourceInfo.url; + curlOpts = "--user-agent 'Mozilla/5.0'"; sha256 = sourceInfo.hash; }; |