378 reputation
17
bio website localhost
location San Francisco, CA
age 38
visits member for 2 years, 6 months
seen Mar 19 at 9:20

Manager of computing infrastructure for the Department of Electrical Engineering and Computer Sciences (EECS) at the University of California, Berkeley


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