Câu trả lời:
Bạn đang gọi phiên bản dựng sẵn của bash time
, có các tùy chọn và hành vi hơi khác nhau - được mô tả trong hướng dẫn sử dụng của bash cũng như help time
.
Sử dụng command time ...
để bỏ qua tích hợp và thực hiện lệnh bên ngoài; hoặc chạy /usr/bin/time ...
trực tiếp.
type
chức năng sẽ hiển thị mà bạn sẽ chạy - ví dụ type time
. Thêm -a
tùy chọn để hiển thị tất cả -type -a time