Chỉ cần một câu hỏi nhỏ về các chương trình thời gian trên Linux: lệnh thời gian cho phép đo thời gian thực hiện của chương trình:
[ed@lbox200 ~]$ time sleep 1
real 0m1.004s
user 0m0.000s
sys 0m0.004s
Mà hoạt động tốt. Nhưng nếu tôi cố chuyển hướng đầu ra thành một tập tin, nó sẽ thất bại.
[ed@lbox200 ~]$ time sleep 1 > time.txt
real 0m1.004s
user 0m0.001s
sys 0m0.004s
[ed@lbox200 ~]$ cat time.txt
[ed@lbox200 ~]$
Tôi biết có các triển khai thời gian khác với tùy chọn -o để viết một tệp nhưng câu hỏi của tôi là về lệnh mà không có các tùy chọn đó.
Bất kỳ đề xuất ?