コマンドの結果を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