diff options
author | defanor <defanor@uberspace.net> | 2018-01-11 02:02:19 +0300 |
---|---|---|
committer | defanor <defanor@uberspace.net> | 2018-01-11 02:02:19 +0300 |
commit | d3dfa486e660ac4cf006a28b4aeb09b6f6356c8e (patch) | |
tree | 5f4c5f88bf7addb358e5a27b9342f1c17e925892 | |
parent | e572364d0547d1fb4cf98904c01e4f856d7fab0c (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.hs | 2 |
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 |