Ich habe diese funktionierende Lösung für Linux gefunden.https://askubuntu.com/questions/428408/kann-google-using-proxy-nicht-pingen/428414. Irgendwelche Vorschläge für Windows? Ich habe Folgendes versucht:
set http_proxy=http://username:password@your_proxy:your_port
ping google.com # works, proxy set for this bash session.
aber es funktioniert nicht (es heißt immer noch: „Ping-Anforderung konnte Host google.com nicht finden. Bitte überprüfen Sie den Namen und versuchen Sie es erneut“)