Pourquoi le «temps» n'est-il pas dans le manuel GNU Bash?

11

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

De cela, il semble que ce timesoit un Bash intégré. Cependant, je ne peux pas en trouver une description sur cette page: https://www.gnu.org/software/bash/manual/html_node/Shell-Builtin-Commands.html#Shell-Builtin-Commands . pourquoi est-ce le cas?

bash man time

— extremeaxe5
source

1

Utilisez type timepour voir ce que c'est.

— muru

man bashpuis tapez simplement/time

— George Vasiliou

et n'oubliez pas /usr/bin/timece qui est similaire à bash timemais différent ....

— ivanivan

22

Il est décrit dans la sous-section "Shell Grammar / Pipelines" de la page de manuel bash . Il est également décrit dans le lien que vous avez fourni dans la section Pipelines , où il est indexé sous "Mots réservés" .

Pipelines

Un pipeline est une séquence d'une ou plusieurs commandes séparées par l'un des opérateurs de contrôle | ou | &. Le format d'un pipeline est le suivant:
[time [-p]] [ ! ] command [ | or |& command2 ... ] 
La sortie standard de la commande est connectée via un tuyau à l'entrée standard de la commande2. Cette connexion est effectuée avant toute redirection spécifiée par la commande (voir REDIRECTION ci-dessous). Si | & est utilisé, l'erreur standard de commande est connectée à l'entrée standard de command2 via le tuyau; c'est un raccourci pour 2> & 1 |. Cette redirection implicite de l'erreur standard est effectuée après toutes les redirections spécifiées par la commande.

L'état de retour d'un pipeline est l'état de sortie de la dernière commande, sauf si l'option pipefail est activée. Si pipefail est activé, l'état de retour du pipeline est la valeur de la dernière commande (la plus à droite) pour quitter avec un état différent de zéro, ou zéro si toutes les commandes se terminent avec succès. Si le mot réservé! précède un pipeline, l'état de sortie de ce pipeline est la négation logique de l'état de sortie comme décrit ci-dessus. Le shell attend que toutes les commandes du pipeline se terminent avant de renvoyer une valeur.

Si le mot de temps réservé précède un pipeline, le temps écoulé ainsi que le temps utilisateur et système consommé par son exécution sont signalés à la fin du pipeline. L'option -p change le format de sortie en celui spécifié par POSIX. La variable TIMEFORMAT peut être définie sur une chaîne de format qui spécifie comment les informations de synchronisation doivent être affichées; voir la description de TIMEFORMAT sous Variables du shell ci-dessous.

Chaque commande d'un pipeline est exécutée comme un processus distinct (c'est-à-dire dans un sous-shell).

— NickD
source

5

Le manuel de référence Bash peut être consulté sur la console à l'aide de info. Ensuite, un utilisateur peut rechercher un mot-clé dans les index en appuyant sur la touche i, en tapant le mot-clé et en appuyant sur la touche Enter. infosaute au premier emplacement, dans le manuel, associé au mot-clé. Appuyez sur ,pour atteindre d'autres emplacements. Pour plus d'informations, lisez le manuel GNU Info, en ligne ou sur la console à l'aide de info info. En effet, le plus important pour trouver rapidement un mot-clé, dans un manuel, est d'utiliser un index existant.

Le fait essentiel à propos du problème est qu'il time ne s'agit pas d'un mot intégré mais d'un mot ou mot clé réservé Bash .

# Voir également

— Fólkvangr
source

Ahhh, merci. Oui, je le vois maintenant avec type time. Vous voyez, c'est intéressant cependant. help helpdonne "Afficher des informations sur les commandes intégrées", et helpa également des informations d'aide pour les mots clés?

— extremeaxe5