Obecně nemůžete. ping potřebuje ke své práci přímé síťové připojení na úrovni IP. Proxy pracuje na vyšší vrstvě síťového modelu TCP/IP, kde neexistuje přímý přístup k protokolu IP.
Bylo by potřeba nějak obejít proxy (změnit nastavení firewallu, použít VPN, ...). Zda je to možné (a povolené), závisí na konfiguraci vaší sítě, ale pravděpodobně to možné není.
Jako řešení je k dispozici mnoho webových služeb pro ping (hledejte „web-based ping“). Tyto budou fungovat.
Můžete to zkusit, ale nejprve musíte nainstalovat curl.
http_proxy=http://<proxy_username>:<proxy_password>@<your_proxy_server>:<your_proxy_port> curl -I http://google.com/
Proč mají operační systémy omezení velikosti souborů?
Upravte položku fstab, aby všichni uživatelé mohli číst a zapisovat na svazek EXT4