101 reputation
bio website
location
age
visits member for 1 year, 7 months
seen Dec 21 '13 at 7:09

Sep
12
comment How to grep a specific line _and_ the first line of a file?
@Alfe: I think nl is much nicer than cat -n for numbering lines.