Is there a way to pipe output of time command into a log file?
我想管道
1 | /usr/bin/time -v java RandomTest > time.log |
但是将
这个有点棘手,但你可以这样做:
1 | { time java RandomTest ; } 2> time.log |
这样,时间的结果进入
首先尝试使用:
1 2 3 | { time ls ; } 2> tmp.txt cat tmp.txt |
至少在最近的Linux发行版中,time命令支持
1 | /usr/bin/time -v -o time.log java RandomTest |
您也可以重定向stderr,例如 在
(