/usr/bin/time - xuất ra định dạng thời gian trôi qua tính bằng mili giây

Question

Tôi sử dụng chương trình/usr/bin/time để đo thời gian cho lệnh. với tham số --format tôi có thể định dạng đầu ra. ví dụ:

/usr/bin/time -f "%e" ls 

có cách nào để tạo ra độ chính xác lớn hơn trong số giây đã qua không? hoặc chỉ xuất ra mili giây, không phải giây?

Trong hướng dẫn sử dụng/usr/bin/time, nó chỉ nói điều gì đó về giây, nhưng có thể có cách và ai đó có thể giúp tôi ... cảm ơn!

EDIT: Tôi biết về lệnh bash "thời gian" sử dụng định dạng của biến môi trường "TIMEFORMAT". xin lỗi, nhưng tôi không muốn thay đổi mà env-var ... dường như nguy hiểm với tôi, giải pháp nên là một cái gì đó mà không thay đổi hệ thống đang chạy ở tất cả :)

Answer 1

Một khả năng là sử dụng lệnh date :

ts=$(date +%s%N) ; my_command ; tt=$((($(date +%s%N) - $ts)/1000000)) ; echo "Time taken: $tt milliseconds" 

%Nshould return nanoseconds, và 1 mili giây là 1000000 nano giây, do đó bằng cách phân chia sẽ quay trở lại thời gian thực hiện để thực hiện my_command trong mili giây.

LƯU Ý rằng %Nis not supported on all systems, but most of them.

Answer 2

Để thuận tiện tôi đã trả lời devnull thành một kịch bản (tôi đặt tên nó là millisecond-time).

#!/bin/bash 
ts=$(date +%s%N) ; $@ ; tt=$((($(date +%s%N) - $ts)/1000000)) ; echo "Time taken: $tt milliseconds" 

Tôi đặt tập lệnh trong /usr/local/bin.
Gave nó thực hiện quyền chmod +x /usr/local/bin/millisecond-time.
Bây giờ tôi có thể sử dụng nó như sau: millisecond-time my_command

P.s. Đây sẽ là một bình luận nếu tôi có đại diện '.