Как пинговать, когда за прокси-сервером?

Я использую прокси-сервер HTTP для подключения к Интернету.

Из-за этого мои пинги не работают

ping www.google.com

Говорит Недоступный Хост

Как я могу настроить ping для использования HTTP-прокси?