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)),