Hm, I tried option 2 again: # ping -c 1 www.google.com ping: no address associated with name # ping -c 1 74.125.205.147 PING 74.125.205.147 (74.125.205.147): 56 data bytes 64 bytes from 74.125.205.147: icmp_seq=0 ttl=46 time=24.059 ms
--- 74.125.205.147 ping statistics --- 1 packets transmitted, 1 packets received, 0.0% packet loss round-trip min/avg/max/std-dev = 24.059/24.059/24.059/0.000 ms # (facepalm)