1,294 reputation
32041
bio website
location
age
visits member for 2 years, 11 months
seen 2 days ago

Jun
29
accepted Change the text on a single line number in multiple text files
Jun
21
accepted Terminating a bash shell script running in the background
Jun
21
accepted Determining the particular processor on which a process is running
Jun
21
accepted How can I determine the wall clock time of a process?
Jun
21
asked Change the text on a single line number in multiple text files
Jun
19
awarded  Popular Question
Jun
18
awarded  Nice Question
Jun
17
comment Is there a faster alternative to cp for copying large files (~20 GB)?
Oops. When I said "efficient," I meant "fast."
Jun
17
comment Is there a faster alternative to cp for copying large files (~20 GB)?
@Salton Thanks. I have not yet tried dd, but I just tried rsync. The real time was about 11.5 minutes and the system time was about 1.5 minutes, according to time.
Jun
17
asked Is there a faster alternative to cp for copying large files (~20 GB)?
Jun
17
asked How can I determine the wall clock time of a process?
Jun
15
comment Determining the particular processor on which a process is running
@Mat Thanks for your time. This is a separate question, but ultimately I would like to see if I can assign two calls to foo to two different processors. When I call foo once, it runs with %CPU very close to 100% (according to top). But when I call foo a second time, both foo processes run such that the %CPU for both processes sum to less than 100% (usually about 45% for each foo process). To me, this suggests that the two calls to foo are running on the same processor (even though there are eight processors available); I would like to verify that this is the case.
Jun
15
accepted Extracting a string, according to a pattern, in a bash script
Jun
15
asked Determining the particular processor on which a process is running
Jun
14
asked Terminating a bash shell script running in the background
Jun
5
awarded  Nice Question
May
15
awarded  Popular Question
May
15
awarded  Notable Question
May
14
awarded  Popular Question
May
6
awarded  Famous Question