Reputation
Top tag
Next privilege 200 Rep.
See reduced ads
Badges
1 4
Impact
~4k people reached

  • 0 posts edited
  • 0 helpful flags
  • 0 votes cast
Jan
14
revised Bash script that reads filenames from a pipe or from command line args?
added 224 characters in body
Jan
14
revised Bash script that reads filenames from a pipe or from command line args?
added 139 characters in body
Jan
14
revised Bash script that reads filenames from a pipe or from command line args?
edited title