Tại sao `time` không có trong hướng dẫn GNU Bash?

[fakename]$ help time
time: time [-p] pipeline
    Report time consumed by pipeline's execution...

Từ đó, có vẻ như đó timelà một nội dung Bash. Tuy nhiên, tôi không thể tìm thấy mô tả về nó trên trang này: https://www.gnu.org/software/bash/manual/html_node/Shell-Builtin-Commands.html#Shell-Builtin-Commands . Tại sao điều này là trường hợp?

Nó được mô tả trong phần "Shell Grammar / Pipelines" của trang bash . Nó cũng được mô tả trong liên kết mà bạn đã cung cấp trong phần Đường ống , nơi nó được lập chỉ mục trong "Từ dành riêng" .

Đường ống

Một đường ống là một chuỗi gồm một hoặc nhiều lệnh được phân tách bằng một trong các toán tử điều khiển | hoặc | &. Định dạng cho một đường ống là:

[time [-p]] [ ! ] command [ | or |& command2 ... ] 

Đầu ra tiêu chuẩn của lệnh được kết nối thông qua một đường ống đến đầu vào tiêu chuẩn của lệnh2. Kết nối này được thực hiện trước bất kỳ chuyển hướng nào được chỉ định bởi lệnh (xem GIẢM GIÁ bên dưới). Nếu | & được sử dụng, lỗi tiêu chuẩn của lệnh được kết nối với đầu vào tiêu chuẩn của lệnh2 thông qua đường ống; nó là viết tắt cho 2> & 1 |. Chuyển hướng ngầm định này của lỗi tiêu chuẩn được thực hiện sau bất kỳ chuyển hướng nào được chỉ định bởi lệnh.

Trạng thái trả về của một đường ống là trạng thái thoát của lệnh cuối cùng, trừ khi tùy chọn đường ống được bật. Nếu đường ống được bật, trạng thái trả về của đường ống là giá trị của lệnh cuối cùng (ngoài cùng bên phải) để thoát với trạng thái khác không hoặc bằng 0 nếu tất cả các lệnh thoát thành công. Nếu từ dành riêng! đi trước một đường ống, trạng thái thoát của đường ống đó là sự phủ định logic của trạng thái thoát như mô tả ở trên. Shell chờ tất cả các lệnh trong đường ống kết thúc trước khi trả về một giá trị.

Nếu từ dành riêng thời gian đi trước một đường ống, thì thời gian trôi qua cũng như thời gian sử dụng và thời gian sử dụng của hệ thống được sử dụng sẽ được báo cáo khi đường ống kết thúc. Tùy chọn -p thay đổi định dạng đầu ra thành định dạng được chỉ định bởi POSIX. Biến TIMEFORMAT có thể được đặt thành một chuỗi định dạng chỉ định cách hiển thị thông tin thời gian; xem mô tả của TIMEFORMAT trong Shell Shell bên dưới.

Mỗi lệnh trong một đường ống được thực hiện như một quy trình riêng biệt (nghĩa là trong một lớp con).

Hướng dẫn tham khảo Bash có thể được xem trên bàn điều khiển bằng cách sử dụng info. Sau đó, người dùng có thể tìm kiếm một từ khóa trong các chỉ mục nhấn phím i, gõ từ khóa và nhấn phím Enter. infosẽ nhảy đến vị trí đầu tiên, trong hướng dẫn, liên quan đến từ khóa. Nhấn ,để đến các địa điểm khác. Để biết thêm thông tin, hãy đọc hướng dẫn sử dụng GNU Info, trực tuyến hoặc trên bảng điều khiển bằng cách sử dụng info info. Thật vậy, điều quan trọng nhất để nhanh chóng tìm thấy một từ khóa, trong một hướng dẫn, là sử dụng một chỉ mục hiện có.

Sự thật thiết yếu về vấn đề này time không phải là từ dựng sẵn mà là từ hoặc từ khóa dành riêng của Bash .

# Xem thêm

• Sự khác nhau giữa từ khóa, từ dành riêng và nội dung?
• Tại sao Bash thực hiện thời gian như một từ dành riêng thay vì dựng sẵn?