Re: outout format of time command

[Terry 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@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: [phone] ([phone] jusqu'au 15/6)
> fax: [phone]
>
> -- 
> PhD candidate in Computer Science
> Address      
> 3 avenue lamine, cité ezzahra, Sousse 4000
> Tunisia
> tel: [phone] ([phone] jusqu'au 15/6)
> fax: [phone]