408 reputation
37
bio website localhost
location San Francisco, CA
age 39
visits member for 2 years, 11 months
seen Aug 19 at 3:15

Research Computing Architect at the University of California, Berkeley


Jan
30
comment Converting multiple image files from JPEG to PDF format
Resorting to make seems a little over-complicated when a simple one-liner will do the trick.
Jan
30
awarded  Editor
Jan
30
comment Converting multiple image files from JPEG to PDF format
There is no reason to write a separate script when it can all be done on the with a simple single command line.
Jan
30
revised Converting multiple image files from JPEG to PDF format
changed png to pdf since the question specifically asked that
Jan
30
answered Converting multiple image files from JPEG to PDF format
Jan
27
comment Grep huge number of patterns from huge file
Yes, you can use /usr/bin/sqlite3 with shell scripts, however I recommend avoiding shell scripts except for simple throw-away programs and instead use a language like python which has better error handling and is easier to maintain and grow.
Jan
27
answered Grep huge number of patterns from huge file
Dec
29
awarded  Critic
Dec
6
answered How do I delete a file whose name begins with “-” (hyphen a.k.a. dash or minus)?
Dec
6
comment How do I delete a file whose name begins with “-” (hyphen a.k.a. dash or minus)?
This way has two problems: 1) do not use -exec rm when you can use -delete; 2) obtaining the inode and using that is needlessly overcomplicated when you can just use: find -name '--help' -delete
Nov
27
awarded  Autobiographer
Nov
23
awarded  Teacher
Nov
23
answered When is xargs needed?
Sep
26
awarded  Supporter