fileinputという便利なものを知った

今まで知らなかったのです。こんな便利なものがあるということを
fileinput.input()を使うことで、ファイル名や標準入力をまとめて扱うことができるらしい。
で、cat -n (nl)を書くとこういう感じになる。

#!/usr/bin/env python
#-*- coding:utf-8 -*-
import fileinput

for line in fileinput.input():
  print ("%3d %s" % (fileinput.lineno(), line)),