Início / unix / Perguntas / 459944
Accepted
extremeaxe5
Asked: 2018-08-02 13:42:53 +0800 CST

Por que o `time` não está no manual do GNU Bash?

  • 772
[fakename]$ help time
time: time [-p] pipeline
    Report time consumed by pipeline's execution...

A partir disso, parece que timeé um Bash embutido. No entanto, não consigo encontrar uma descrição dele nesta página: https://www.gnu.org/software/bash/manual/html_node/Shell-Builtin-Commands.html#Shell-Builtin-Commands . Por que este é o caso?

bash man

2 respostas

  1. Best Answer

    Ele é descrito na subseção "Shell Grammar/Pipelines" da página de manual do bash . Também está descrito no link fornecido na seção Pipelines , onde está indexado em "Palavras reservadas" .

    Oleodutos

    Um pipeline é uma sequência de um ou mais comandos separados por um dos operadores de controle | ou |&. O formato de um pipeline é:

    [time [-p]] [ ! ] command [ | or |& command2 ... ]

    A saída padrão do comando é conectada através de um tubo à entrada padrão do comando2. Esta conexão é realizada antes de qualquer redirecionamento especificado pelo comando (veja REDIRECIONAMENTO abaixo). Se |& for usado, o erro padrão do comando é conectado à entrada padrão do comando2 através do pipe; é uma abreviação para 2>&1 |. Esse redirecionamento implícito do erro padrão é executado após qualquer redirecionamento especificado pelo comando.

    O status de retorno de um pipeline é o status de saída do último comando, a menos que a opção pipefail esteja habilitada. Se pipefail estiver habilitado, o status de retorno do pipeline será o valor do último comando (mais à direita) a sair com um status diferente de zero ou zero se todos os comandos forem encerrados com êxito. Se a palavra reservada ! precede um pipeline, o status de saída desse pipeline é a negação lógica do status de saída conforme descrito acima. O shell espera que todos os comandos no pipeline terminem antes de retornar um valor.

    Se a palavra reservada de tempo precede um pipeline, o tempo decorrido, bem como o tempo do usuário e do sistema consumido por sua execução, são relatados quando o pipeline termina. A opção -p altera o formato de saída para aquele especificado por POSIX. A variável TIMEFORMAT pode ser definida como uma string de formato que especifica como as informações de tempo devem ser exibidas; veja a descrição de TIMEFORMAT em Shell Variables abaixo.

    Cada comando em um pipeline é executado como um processo separado (ou seja, em um subshell).

    • 22

  2. O Bash Reference Manual pode ser visualizado no console usando info. Em seguida, um usuário pode pesquisar uma palavra-chave em índices pressionando a tecla i, digitando a palavra-chave e pressionando a tecla Enter. infowill salta para a primeira localização, no manual, associada à palavra-chave. Pressione ,para alcançar outros locais. Para obter mais informações, leia o manual GNU Info, online ou no console usando info info. De fato, a coisa mais importante para encontrar rapidamente uma palavra-chave, em um manual, é usar um índice existente.

    O fato essencial sobre o problema é que time não é uma palavra ou palavra- chave embutida , mas reservada do Bash .

    # Veja também

    • 5

relate perguntas