How to configure proxy in programming tool (Linux, curl)?