noproxy switch for http_get & http_post

I seem to remember there were several different curl command invocations to do this but perhaps they are all equivalent. Any thoughts on that ?