Im Allgemeinen können Sie nicht. ping benötigt für seine Arbeit eine direkte Netzwerkverbindung auf IP-Ebene. Ein Proxy arbeitet auf einer höheren Ebene des TCP/IP-Netzwerkmodells, wo es keinen direkten Zugriff auf das IP-Protokoll gibt.
Sie müssten den Proxy irgendwie umgehen (Firewall-Einstellungen ändern, VPN verwenden, ...). Ob dies möglich (und erlaubt) ist, hängt von Ihrer Netzwerkkonfiguration ab, ist aber wahrscheinlich nicht möglich.
Als Problemumgehung stehen viele webbasierte Ping-Dienste zur Verfügung (suchen Sie nach „webbasierter Ping“). Diese werden funktionieren.
Sie können dies versuchen, aber zuerst müssen Sie curl installieren.
http_proxy=http://<proxy_username>:<proxy_password>@<your_proxy_server>:<your_proxy_port> curl -I http://google.com/