108 reputation
6
bio website
location
age
visits member for 2 years, 4 months
seen Mar 14 at 12:40

Nov
7
accepted How can I rename/move a file by simply “editing” its path in a shell?