Re: Timing a process

2012-03-08 Thread Andrei POPESCU
On Jo, 08 mar 12, 00:55:53, Claudius Hubig wrote: > > # time dd if=/dev/urandom of=/dev/null bs=1M count=1 > > See also man time(1) time is built-in in at least bash. If you want/need to use the command described in that manpage you can use the full path instead: /usr/bin/time dd if= ... Kind

Re: Timing a process

2012-03-07 Thread Paul Johnson
On Mar 7, 2012 3:47 PM, "Sian Mountbatten" wrote: > AFAIK, there is a command which says how long a process takes to complete. Its invoked with the command to be timed as an argument. Does anybody know what it is? Oddly enough, it's time(1).

Re: Timing a process

2012-03-07 Thread der.hans
Am 07. Mar, 2012 schwätzte Sian Mountbatten so: moin moin Sian, AFAIK, there is a command which says how long a process takes to complete. Its invoked with the command to be timed as an argument. Does anybody know what it is? Do you mean time? $ time sleep 10 real0m10.001s user0m0.

Re: Timing a process

2012-03-07 Thread Claudius Hubig
Hello Sian, Sian Mountbatten wrote: > Hello All, > > AFAIK, there is a command which says how long a process takes to > complete. Its invoked with the command to be timed as an argument. Does > anybody know what it is? time for example # time dd if=/dev/urandom of=/dev/null bs=1M count=1 S

Timing a process

2012-03-07 Thread Sian Mountbatten
Hello All, AFAIK, there is a command which says how long a process takes to complete. Its invoked with the command to be timed as an argument. Does anybody know what it is? -- Sian Mountbatten Algol 68 specialist -- To UNSUBSCRIBE, email to debian-user-requ...@lists.debian.org with a subjec