/usr/bin/time プログラムを使用して、コマンドの時間を測定します。--format パラメータを使用すると、出力をフォーマットできます。例えば
/usr/bin/time -f "%e" ls
経過秒数のより大きな精度を出力する方法はありますか? または、秒ではなくミリ秒を出力するだけですか？
/usr/bin/time のマニュアルでは、秒についてしか書かれていませんが、おそらく方法があり、誰かが私を助けることができます...ありがとう!
編集：環境変数「TIMEFORMAT」の形式を使用するbashコマンド「time」について知っています。申し訳ありませんが、そのenv-varを変更したくありません...私には危険に思えます。解決策は、実行中のシステムをまったく変更しないものでなければなりません:)