Gnu thời gian và định dạng đầu ra

Question

Tôi muốn sử dụng thời gian gnu để đo thời gian chạy của một số chương trình .c nhỏ. Trong con người nó được viết rằng:

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

Sau đó, trong ví dụ chúng ta có:

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 

Nhưng khi tôi cố gắng để thực hiện lệnh này từ ví dụ tôi nhận được:

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

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

Tôi tự hỏi đâu là vấn đề, tôi đang phạm sai lầm ở đâu? Tôi chỉ muốn hiển thị thời gian người dùng, đó là lý do tại sao tôi đang đùa giỡn với định dạng đầu ra thời gian.

Answer 1

Bash đối với một trình bao gồm shell có tên là time. Một cách để vượt qua nó là nhập /usr/bin/time. Một cách khác là alias time=/usr/bin/time. Mặt khác, bash được xây dựng tôn trọng biến môi trường TIMEFORMAT.