Tôi đang cố gắng để thời gian một cái gì đó bằng cách sử dụng:
/usr/bin/time myCommand
Tuy nhiên, kể từ khi /usr/bin/time
ghi vào stderr, nếu myCommand cũng ghi vào stderr, tôi sẽ nhận được nhiều hơn chỉ là thời gian đầu ra trên luồng. Những gì tôi muốn làm là, chuyển hướng tất cả đầu ra của myCommand sang /dev/null
, nhưng vẫn ghi đầu ra của thời gian vào stderr. Sử dụng một ví dụ myCommand ghi vào stderr ls /nofile
, chúng ta thấy rằng (rõ ràng) không có đầu ra nào cả với những điều sau đây:
$ /usr/bin/time ls /nofile 2> /dev/null
$
Không có bất kỳ sự chuyển hướng nào, chúng ta sẽ thấy cả đầu ra từ ls
(đến stderr) và đầu ra theo thời gian (cũng đến stderr):
$ /usr/bin/time ls /nofile
ls: cannot access /nofile: No such file or directory
0.00user 0.00system 0:00.00elapsed 0%CPU (0avgtext+0avgdata 3776maxresident)k
0inputs+0outputs (0major+278minor)pagefaults 0swaps
Những gì tôi muốn là một cái gì đó chỉ đơn giản là sản xuất:
$ /usr/bin/time ls /nofile > RedirectThatImAskingFor
0.00user 0.00system 0:00.00elapsed 0%CPU (0avgtext+0avgdata 3776maxresident)k
0inputs+0outputs (0major+278minor)pagefaults 0swaps
Có ý kiến gì không?