Como o Debian não tem tempo (1) manpage?

Question

A pesquisa por página de manual para o comando time não produz nenhum resultado ( pesquisa formulário ).

Como um sidenote, ele parece ser um comando interno BASH, pois dpkg --search bin/time não pode encontrá-lo. Talvez tais comandos não tenham seus próprios manpages?

    

Answer 1

Os recursos internos corretos, normalmente do shell, têm help páginas, já que seu uso geralmente não está envolvido. Se os comandos internos fossem tão complicados, provavelmente teria havido um esforço para simplificar a lógica da shell, empurrando essa funcionalidade para seu próprio executável, no ponto em que seria obter uma página man.

Você pode obter informações sobre time usando 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.

Como seu exemplo é bash , para ferramentas GNU, você também pode tentar info <toolName> para obter informações mais completas. help foi projetado para ser executado na linha de comando, e eles não querem inundar sua tela (possivelmente empurrando informações úteis para fora da tela) para que eles tentem manter help curto e dar-lhe toda a informação nas páginas de informações . Por exemplo:

[jadavis6@hypervisor ~]$ info time

< ... depois de apertar enter, aparece uma página 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::

Descrever completamente as páginas de informações provavelmente está fora do escopo da sua pergunta, então vou deixar por isso mesmo. Eu só mencionei isso, então você está ciente da existência deles.

    

Answer 2

Correto. Os built-ins de shell são cobertos pelas páginas de manual de seu shell, uma vez que não existe uma seção apropriada de um homem discreto para eles.