テキストファイルに '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

おすすめ記事