#bash history my life
BEGIN=$(date +%s) ping g.com -t 20 > /dev/null 2>&1 END=$(date +%s) DIFF=$(( $END - $BEGIN )) echo "$DIFF"