From d3dfa486e660ac4cf006a28b4aeb09b6f6356c8e Mon Sep 17 00:00:00 2001 From: defanor Date: Thu, 11 Jan 2018 02:02:19 +0300 Subject: Set curl's user agent to pancake by default Some websites, e.g. acm.org, block clients that identify themselves as curl. --- Pancake/Configuration.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- cgit v1.2.3