On 02/01/2011 04:27 AM, Rick Sewill wrote:
On Tuesday, February 01, 2011 04:13:20 am Adel ESSAFI wrote:
Hello, I have followed the man page of time commande to put a certain output format. However, time command does not recognise -f option.
Could you help please.
[adel@localhost generateInstance]$ time -f "%e" ls bash: -f: command not found
There are two separate time commands.
One is a bash built-in. To set the format for this time, please set the environment variable, TIMEFORMAT. Please do "info bash" and search for TIMEFORMAT.
The other is the time command described by "man time". To use this time command, please do $(which time) -f "%e" ls On my system, $(which time) happens to be /usr/bin/time so I can also do /usr/bin/time -f "%e" ls
Quoting a command, even quoting must one character of the command name, will bypass the shell's builtin version:
$ \time -f %e sleep 2 2.00 $