텍스트 파일에 'time' 명령 보내기

텍스트 파일에 'time' 명령 보내기

명령 결과를 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

관련 정보