timeコマンドに引数を与えるにはどうすればよいですか(ubuntu)


20

標準時間コマンドが提供する情報よりも少し多くの情報を取得したいので、冗長フラグを渡します。info time例として与えますtime -v sleep 4が、それを実行すると(bashまたはtcshの両方で)

% time -v sleep 4
-v: Command not found.
0.000u 0.000s 0:00.00 0.0%  0+0k 0+0io 0pf+0w

何が間違っていますか?

回答:


38

実行するtimeと(which timeそうでない場合でも...)timeシェルのコマンドを実行します。そのバージョンは受け入れません-v。代わりに、適切なtime実行可能ファイルを実行します:[ソース]

$ /usr/bin/time -v sleep 4

それは動作します。

弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.