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 > -- users mailing list users@lists.fedoraproject.org To unsubscribe or change subscription options: https://admin.fedoraproject.org/mailman/listinfo/users Guidelines: http://fedoraproject.org/wiki/Mailing_list_guidelines
