명령 결과를 time
텍스트 파일에 저장하고 싶지만 작동하지 않고 텍스트 파일에 공백만 추가합니다.
나는 이 명령을 시도해 보았습니다.
ㅏ-
$ x=`time`
$ echo $x > log.txt
$ cat log.txt
$
비-
$ time > log.txt
real 0m0.000s
user 0m0.000s
sys 0m0.000s
$ cat log.txt
$
씨-
$ time > log.txt 2>&1
real 0m0.000s
user 0m0.000s
sys 0m0.000s
$ cat log.txt
$
내가 정말로 원하는 것은 이것이다.
$ time > log.txt
$ cat log.txt
real 0m0.000s
user 0m0.000s
sys 0m0.000s
답변1
외부 사용time
내장 명령 대신 다음 명령을 사용하세요.
/usr/bin/time -po log.txt true
\time -po log.txt true # simpler way
예를 들어:
$ \time -po log.txt true
$ cat log.txt
real 0.00
user 0.00
sys 0.00