I found this working solution for Linux. . Any suggestion for Windows? I tried:
set http_proxy=
ping google.com # works, proxy set for this bash session.but it does not work (it still says: "Ping request could not find host google.com. Please check the name and try again")
1 Reset to default