summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authordefanor <defanor@uberspace.net>2018-01-11 02:02:19 +0300
committerdefanor <defanor@uberspace.net>2018-01-11 02:02:19 +0300
commitd3dfa486e660ac4cf006a28b4aeb09b6f6356c8e (patch)
tree5f4c5f88bf7addb358e5a27b9342f1c17e925892
parente572364d0547d1fb4cf98904c01e4f856d7fab0c (diff)
Set curl's user agent to pancake by default
Some websites, e.g. acm.org, block clients that identify themselves as curl.
-rw-r--r--Pancake/Configuration.hs2
1 files changed, 1 insertions, 1 deletions
diff --git a/Pancake/Configuration.hs b/Pancake/Configuration.hs
index d78d51d..4fdba23 100644
--- a/Pancake/Configuration.hs
+++ b/Pancake/Configuration.hs
@@ -118,7 +118,7 @@ instance Default Config where
, ("github", "^https://github\\.com/")]
}
where
- curl = "curl --compressed -4 -L " ++
+ curl = "curl -A \"pancake/${PANCAKE}\" --compressed -4 -L " ++
"-w \"\n-pancake-\nuri: %{url_effective}\ntype: %{content_type}\n\" "
-- | Loads configuration from a given 'FilePath', or from an XDG