Linux Quick Tips, Network Tools Why Does Ping and DNS Resolve Names Differently Steven Vona, December 27, 2014