How to troubleshoot curl, git not using http_proxy, https_proxy

I would say that I am going by this post: