Это практически невозможно, так как ping работает на гораздо более низком уровне, чем прокси.
Я предполагаю, что вы используете HTTP-прокси - он работает на высоком уровне; браузер (или yum) отправляет ему только HTTP-запросы на определенные URL-адреса (например, GET http://www.google.com/), а прокси-сервер обрабатывает все остальное - он может открыть TCP-соединение с сервером и переслать запрос; или это может сделать что-то совершенно другое. HTTP-запросы - это единственное, что вы можете отправить им.
Некоторые прокси-серверы HTTP настроены на то, чтобы разрешить клиенту открывать TCP-соединения (нижний уровень), сделав специальный запрос (например, CONNECT www.google.com:443). В этом режиме клиент и сервер могут обмениваться данными через соединение TCP, но они по-прежнему не имеют никакого контроля над фактическими отправляемыми пакетами TCP или IP. (Кроме того, обычно разрешены только определенные порты TCP, такие как 443 для HTTPS.)
Протокол не имеет механизма для изменения параметров TCP или использования любого другого протокола, кроме TCP - клиент не может отправлять UDP-дейтаграммы, и, что наиболее важно, в вашем случае он не может отправлять / получать ICMP-пакеты, что требуется для инструмента ping .
Обратите внимание, что само слово "ping" является более общим, чем команда ping . Скорее всего, yum "пингует" сервер, делая фиктивные HTTP-запросы (что имеет смысл, так как его задача - определить, какой сервер отвечает на HTTP быстрее всего, в то время как ICMP-запросы совсем не важны).
