Gnu time and formatting output

Question

I wanted to use gnu time to measure running time of some little .c programs. In the man it is written that:

-f FORMAT, --format FORMAT
Use FORMAT as the format s         


        

Answer 1

Bash for one has a shell builtin named time. One way to get past it is to type command time - command will ignore the builtins and run the time program from your $PATH. Another way is alias time=/usr/bin/time. On the other hand the bash builtin respects environment variable TIMEFORMAT.