118 reputation
4
bio website
location Seattle, WA
age
visits member for 1 year, 6 months
seen Jul 15 '13 at 20:04

Jan
21
comment Bash script that reads filenames from a pipe or from command line args?
Sorry, you were first.
Jan
14
comment Bash script that reads filenames from a pipe or from command line args?
I didn't know the <code>$# -eq 0</code> part, thanks! I've realized my problem was more comp.licated, but I'll mark this right.
Jan
14
comment Bash script that reads filenames from a pipe or from command line args?
Well I need it to be able to do either, but it doesn't need to do both at once. (Title edited)