Gnu i formatowanie wyjścia

Question

Chciałem użyć czasu gnu do zmierzenia czasu pracy niektórych małych programów .cc. W człowieku jest napisane, że:

-f FORMAT, --format FORMAT 
Use FORMAT as the format string that controls the output of time. See the below more information. 

Następnie w przykładach mamy:

To run the command `ls -Fs' and show just the user, system, and total time: 
time -f "%E real,%U user,%S sys" ls -Fs 

Ale kiedy próbuję wydać polecenie z przykładu uzyskać:

time -f '%E real,%U user,%S sys' ls -Fs 
-f: command not found 

real 0m0.134s 
user 0m0.084s 
sys  0m0.044s 

jestem Zastanawiając się, gdzie jest problem, gdzie popełniam błąd? Chcę tylko pokazać czas użytkownika, dlatego gram z formatem wyjściowym czasu.

Answer 1

Bash dla jednego ma wbudowaną powłokę o nazwie time. Jednym ze sposobów obejścia tego jest wpisanie /usr/bin/time. Inny sposób to alias time=/usr/bin/time. Z drugiej strony budowany bash respektuje zmienną środowiskową TIMEFORMAT.