outout format of time command

[T. Horsnell]

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 at localhost generateInstance]$ time -f "%e" ls
> bash: -f: command not found
> 
> real    0m0.001s
> user    0m0.000s
> sys    0m0.000s
> [adel at 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
>