> i think that: > > awk 'BEGIN{RS=""}END{print NR}' > > will give you what you want. and i just realized that since you don't really care about the data, a much quicker answer is: grep -c '^$' but the awk magic might be useful if you decided you want to actually do something with the data down the road.