Miscellany

cat pings | while read u; do wget -O /dev/null "$u"; [ "$?" -eq 0 ] && echo "$u" >>pings-ok; done