¿Por qué 'time' no está en el manual de GNU Bash?

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

De esto, parece que timees un Bash incorporado. Sin embargo, no puedo encontrar una descripción en esta página: https://www.gnu.org/software/bash/manual/html_node/Shell-Builtin-Commands.html#Shell-Builtin-Commands . ¿Por qué es este el caso?

bash man time extremeaxe5
fuente
1
Use type timepara ver de qué se trata.
muru
man bashy luego simplemente escriba/time
George Vasiliou
y no se olvide /usr/bin/timeque es similar al golpe de timepero diferente ....
ivanivan

Respuestas:

22

Se describe en la subsección "Shell Grammar / Pipelines" de la página de manual de bash . También se describe en el enlace que proporcionó en la sección Tuberías , donde se indexa en "Palabras reservadas" .

Tuberías

Una tubería es una secuencia de uno o más comandos separados por uno de los operadores de control | o | &. El formato para una tubería es:

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

La salida estándar del comando se conecta a través de una tubería a la entrada estándar del comando2. Esta conexión se realiza antes de cualquier redirección especificada por el comando (ver REDIRECCIÓN a continuación). Si se utiliza | &, el error estándar de comando se conecta a la entrada estándar de command2 a través de la tubería; es la abreviatura de 2> y 1 |. Esta redirección implícita del error estándar se realiza después de cualquier redirección especificada por el comando.

El estado de retorno de una tubería es el estado de salida del último comando, a menos que la opción pipefail esté habilitada. Si pipefail está habilitado, el estado de retorno de la tubería es el valor del último comando (el más a la derecha) para salir con un estado distinto de cero, o cero si todos los comandos salen con éxito. Si la palabra reservada! precede a una tubería, el estado de salida de esa tubería es la negación lógica del estado de salida como se describió anteriormente. El shell espera a que finalicen todos los comandos de la canalización antes de devolver un valor.

Si la palabra de tiempo reservado precede a una canalización, el tiempo transcurrido, así como el tiempo del usuario y del sistema consumido por su ejecución, se informan cuando finaliza la canalización. La opción -p cambia el formato de salida al especificado por POSIX. La variable TIMEFORMAT se puede establecer en una cadena de formato que especifica cómo se debe mostrar la información de temporización; vea la descripción de TIMEFORMAT en Variables de Shell a continuación.

Cada comando en una tubería se ejecuta como un proceso separado (es decir, en una subshell).

NickD
fuente
5

El Manual de referencia de Bash se puede ver en la consola usando info. Luego, un usuario puede buscar una palabra clave en índices presionando la tecla i, escribiendo la palabra clave y presionando la tecla Enter. infosaltará a la primera ubicación, en el manual, asociada a la palabra clave. Presione ,para llegar a otros lugares. Para obtener más información, lea el manual de información de GNU, en línea o en la consola usando info info. De hecho, lo más importante para encontrar rápidamente una palabra clave, en un manual, es utilizar un índice existente.

El hecho esencial sobre el tema es que time no es una orden interna , sino un golpe de palabra reservada o palabra clave .

# Ver también

Fólkvangr
fuente
Ahhh, gracias Sí, lo estoy viendo ahora con type time. Mira, esto es interesante sin embargo. help helpproduce "Mostrar información sobre comandos incorporados" y, sin embargo, helptambién tiene información de ayuda para palabras clave.
extremeaxe5