Try specifying the full pathname for time
/usr/bin/time
otherwise you'll be using bash's builtin
Cheers,
Terry
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
real 0m0.001s
user 0m0.000s
sys 0m0.000s
[adel@localhost generateInstance]$
--
PhD candidate in Computer Science
Address
3 avenue lamine, cité ezzahra, Sousse 4000
Tunisia
tel: +216 97 246 706 (+33640302046 jusqu'au 15/6)
fax: +216 71 391 166
--
PhD candidate in Computer Science
Address
3 avenue lamine, cité ezzahra, Sousse 4000
Tunisia
tel: +216 97 246 706 (+33640302046 jusqu'au 15/6)
fax: +216 71 391 166