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.txt
withのようなオプションをどのように使用できますかtime
?
私はLinux Ubuntu 18.04をbash
端末として使用します。
答え1
bashシェルは、コマンドの最初の単語 "time"を予約語として評価time
し、コマンドの2番目の単語、つまり待機しているので-o
印刷中です-o: command not found
。
存在するバッシュマニュアル理由がtime
予約語であることがわかります。
時間を予約語として使用すると、シェルの組み込み、シェル機能、パイプのタイミングを指定できます。外部時間コマンドでは簡単に測定できません。
このコマンドを使用して有用なパラメータを使用するには、time
bashシェルに次のように指示する必要があります。次のユーティリティを使用するのが最善ですcommand
。
command time -o out.txt ls
または、フルパスを使用できます。
/usr/bin/time -o out.txt ls
または引用してください:
"time" -o out.txt ls
またはバックスラッシュでエスケープします。
\time -o out.txt ls