Keep pinging until host is known

06 October 2015 
while ! ping -c1 www.google.com &>/dev/null; do :; done