Tại sao lệnh `time` không hoạt động với bất kỳ tùy chọn nào?

Tôi đã cố gắng sử dụng timelệnh với -ftùy chọn để định dạng đầu ra của thời gian, nhưng tôi gặp lỗi sau:

-f: command not found

Sau đó, tôi cố gắng sử dụng lựa chọn khác -a, -o, vv và tôi nhận được lỗi tương tự. Thậm chí time --versionkhông hoạt động ( --version: command not found).

Đừng bảo tôi đọc người đàn ông bởi vì tôi đã làm điều đó nhiều lần ... Tất cả các tùy chọn này được chỉ định ở đó. Vì vậy, đâu có thể là vấn đề?

Chà, ngay cả khi bạn không thích nó, tôi sẽ khiến bạn đọc lại với sự chú ý nhiều hơn man time. Ở cuối EXAMPLESphần bạn sẽ tìm thấy:

  Users of the bash shell need to use an explicit path in order to run
  the external time command and not the shell builtin variant.  On system
  where time is installed in /usr/bin, the first example would become
       /usr/bin/time wc /etc/hosts

Vì vậy, tôi giả sử rằng bạn sử dụng bash shell sử dụng phiên bản nội bộ time, được cung cấp dưới dạng từ khóa shell. Bạn có thể kiểm tra điều này bằng lệnh sau:

type time

và đầu ra có thể sẽ là:

time is a shell keyword

Nếu đây là trường hợp, thì rõ ràng, để sử dụng lệnh thực time , bạn phải sử dụng đường dẫn rõ ràng của nó : /usr/bin/time.

Hơn nữa, nếu bạn không muốn sử dụng từ khóa shell nữa time, bạn có thể tạo bí danh vĩnh viễn như sau:

alias time='/usr/bin/time'

Điều này sẽ ghi đè lên từ khóa shell timevì lệnh:

type time

sẽ đưa ra kết quả sau:

time is aliased to `/usr/bin/time'

Vì, như các câu trả lời khác giải thích, timelà một từ khóa shell, tùy chọn duy nhất có sẵn cho bạn là -p:

terdon@oregano ~ $ help time
time: time [-p] pipeline
    Report time consumed by pipeline's execution.

Execute PIPELINE and print a summary of the real time, user CPU time,
and system CPU time spent executing PIPELINE when it terminates.

Options:
  -p    print the timing summary in the portable Posix format

Vì vậy, bạn cần phải chạy cái timeđó trong /usr/bin. Dưới đây là một số cách để làm như vậy:

• Sử dụng timethực thi thay thế:

  /usr/bin/time -f %Uuser ls >/dev/null

• Sử dụng \nguyên nhân khiến shell của bạn bỏ qua các bí danh và từ khóa và thay vào đó tìm kiếm của bạn $PATHđể tìm một tệp thực thi phù hợp:

  \time -f %Uuser ls >/dev/null 

• Sử dụng commandnội dung có hiệu ứng tương tự:

  command time -f %Uuser ls >/dev/null

• Sử dụng một vỏ khác nhau, một vỏ không có từ khóa như vậy. Ví dụ: sh(thực tế là dashtrên Ubuntu):

  sh -c "time -f %Uuser ls >/dev/null"

• Sử dụng which, sẽ tìm kiếm thông qua $PATH(OK, cái này là ngớ ngẩn):

  $(which time) -f %Uuser ls >/dev/null

Các bashvà zshvỏ có timelệnh nội bộ của họ . Bạn phải sử dụng

/usr/bin/time -f ...

BTW, tôi phát hiện ra rằng sử dụng (từ zsh):

~% which  time
time: shell reserved word