118 reputation
4
bio website
location Seattle, WA
age
visits member for 1 year, 7 months
seen Aug 19 at 15:39

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)