なぜDebianにはtime(1)マンページがありませんか?

なぜDebianにはtime(1)マンページがありませんか?

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>helphelp

[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::

説明情報の全ページはおそらくあなたの質問の範囲を超えているので、そのままにしておきます。私はそれらが存在することを知らせるためにそれを言及します。

おすすめ記事