
time
マンページでコマンドを検索しても結果は表示されません(検索フォーム)。
ちなみに、dpkg --search bin/time
見つからないのでBASH組み込みコマンドのようです。たぶんそのようなコマンドには独自のマンページがないのでしょうか?
答え1
正しいです。通常、シェルの組み込みにはhelp
一般的に使用が含まれていないため、ページがあります。組み込みコマンドの場合はい複雑すぎるため、機能を独自の実行可能ファイルにプッシュしてシェルロジックを簡素化することも可能です。会議マニュアルページを入手してください。
time
以下を使用して情報を取得できます。help time
[jadavis6@ditirlns01 ~]$ help time
time: time [-p] PIPELINE
Execute PIPELINE and print a summary of the real time, user CPU time,
and system CPU time spent executing PIPELINE when it terminates.
The return status is the return status of PIPELINE. The `-p' option
prints the timing summary in a slightly different format. This uses
the value of the TIMEFORMAT variable as the output format.
times: times
Print the accumulated user and system times for processes run from
the shell.
あなたの例は、GNUツールの場合、より詳細な情報を入手しようとbash
するかもしれません。コマンドラインで実行するように設計されており、画面がいっぱいになりたくないので(有用な情報が画面から押し出されている場合)、情報ページに情報全体を短く保つようにしてください。たとえば、info <toolName>
help
help
[jadavis6@hypervisor ~]$ info time
<...Enterを押すとncursesページが表示されます...>
File: time.info, Node: Top, Prev: (dir), Up: (dir)
This file documents the the GNU `time' command for running programs
and summarizing the system resources they use. This is edition 1.7,
for version 1.7.
* Menu:
* Resource Measurement:: Measuring program resource use.
-- The Detailed Node Listing --
Measuring Program Resource Use
* Setting Format:: Selecting the information reported by `time'.
* Format String:: The information `time' can report.
* Redirecting:: Writing the information to a file.
* Examples:: Examples of using `time'.
* Accuracy:: Limitations on the accuracy of `time' output.
* Invoking time:: Summary of the options to the `time' command.
The Format String
* Time Resources::
* Memory Resources::
* I/O Resources::
* Command Info::
説明情報の全ページはおそらくあなたの質問の範囲を超えているので、そのままにしておきます。私はそれらが存在することを知らせるためにそれを言及します。
答え2
正しい。シェルの組み込み機能は別途のマニュアルセクションがないため、シェルのマニュアルページに含まれています。