Làm cách nào để chuyển hướng đầu ra của lệnh “time”?

Tôi đã cố gắng chuyển hướng đầu ra của lệnh thời gian, nhưng tôi không thể:

$time ls > filename
real    0m0.000s
user    0m0.000s
sys     0m0.000s

Trong tệp, tôi có thể thấy đầu ra của lslệnh, không phải của time. Vui lòng giải thích, tại sao tôi không thể và làm thế nào để làm điều này.

bạn có thể chuyển hướng đầu ra thời gian bằng cách sử dụng,

(time ls) &> file

Vì bạn cần lấy (time ls) như một lệnh duy nhất để bạn có thể sử dụng dấu ngoặc nhọn.

không cần phải khởi chạy trình bao phụ. Sử dụng một khối mã cũng sẽ làm được.

{ time ls; } 2> out.txt

hoặc là

{ time ls > /dev/null 2>&1 ; } 2> out.txt

Thời gian lệnh gửi đầu ra của nó tới STDERR (thay vì STDOUT). Đó là bởi vì lệnh được thực thi với thời gian bình thường (trong trường hợp này là ls) xuất ra STDOUT.

Nếu bạn muốn nắm bắt đầu ra của thời gian, hãy nhập:

(time ls) 2> filename

Điều đó chỉ nắm bắt đầu ra của thời gian, nhưng đầu ra của ls sẽ bình thường đối với bảng điều khiển. Nếu bạn muốn chụp cả hai trong một tệp, hãy nhập:

(time ls) &> filename

2> chuyển hướng STDERR &> chuyển hướng cả hai.

thời gian là nội trang của trình bao và tôi không chắc liệu có cách nào để chuyển hướng nó hay không. Tuy nhiên, bạn có thể sử dụng /usr/bin/timethay thế, điều này chắc chắn chấp nhận mọi chuyển hướng đầu ra.

Nếu bạn không muốn kết hợp đầu ra từ timevà lệnh. Với thời gian GNU, bạn có thể sử dụng -o filenhư:

/usr/bin/time -o tim grep -e k /tmp 1>out 2>err

while timlà đầu ra của thời gian, outvà errlà stdout và stderr từ grep.

Lý do tại sao chuyển hướng dường như không hoạt động timelà đó là một từ dành riêng cho bash (không phải nội trang!) Khi được sử dụng trước một đường ống. bash (1):

Nếu từ dành riêng thời gian đứng trước một đường ống, thì thời gian đã trôi qua cũng như người dùng và hệ thống đã sử dụng để thực thi nó được báo cáo khi đường ống kết thúc.

Vì vậy, để chuyển hướng đầu ra của time, hãy sử dụng dấu ngoặc nhọn:

{ time ls; } 2> filename

Hoặc gọi /usr/bin/time:

/usr/bin/time ls 2> filename

Tôi sử dụng phương pháp chuyển hướng của stdout và stderr có niềng răng để thử nghiệm.
Biểu &>>rptthị này >>rpt 2>&1nhưng ngắn hơn.
Các dấu ngoặc nhọn sẽ thực hiện (các) lệnh trong trình bao hiện tại. Xem: man bash

{ time ls a*; } &>>rpt