141 reputation
2
bio website
location R136a1 β
age
visits member for 3 years, 7 months
seen Apr 13 '11 at 2:49

Mar
7
awarded  Teacher
Mar
6
comment How to rename files in batch with Unix rename command?
Good point. Added.
Mar
6
answered How to rename files in batch with Unix rename command?
Feb
20
comment SSH key associated with root directory
"I am not able rightly to apprehend the kind of confusion of ideas that could provoke such a question." -- Charles Babbage
Jan
21
awarded  Supporter