2013-02-09 ■ awk awk ひさびさのawk tips.10行ごとに表示するのに, 今までメインの中で awk '{if(NR%10==0) print $0}' file とやっていたのだが, 本文以前の段階で, awk 'NR%10==0 {print $0}' file でも可能とのこと.知らなかったー 参考