man timeこれを表示するいくつかのオプションがあります。たとえば、代わりに出力をtimeファイルに書き込むなどのオプションがありますstderr。
-o FILE, --output=FILE
だからこれを使ってみました。
$ time -o out.txt ls
-o: command not found
real 0m0.081s
user 0m0.070s
sys 0m0.012s
これは動作しません！それは言う-o: command not found。
out.txt存在しないことを証明してください。
$ cat out.txt
cat: out.txt: No such file or directory
私は何が間違っていましたか？
-o somefile.txtwithのようなオプションをどのように使用できますかtime？
私はLinux Ubuntu 18.04をbash端末として使用します。
ベストアンサー1
bashシェルは、コマンドの最初の単語 "time"を予約語として評価timeし、コマンドの2番目の単語、つまり待機しているので-o印刷中です-o: command not found。
存在するバッシュマニュアル理由がtime予約語であることがわかります。
時間を予約語として使用すると、シェルの組み込み、シェル機能、パイプのタイミングを指定できます。外部時間コマンドでは簡単に測定できません。
このコマンドを使用して有用なパラメータを使用するには、timebashシェルに次のように指示する必要があります。次のユーティリティを使用するのが最善ですcommand。
command time -o out.txt ls
または、フルパスを使用できます。
/usr/bin/time -o out.txt ls
または引用してください：
"time" -o out.txt ls
またはバックスラッシュでエスケープします。
\time -o out.txt ls