Bash parole riservate vs. comandi integrati e formattazione dell'output del comando time

8

Qual è la differenza tra parole riservate bash e comandi integrati?

Posso disabilitare il tempo di bash e usarlo /usr/bin/time? In caso contrario, come posso formattare il suo output?

bash

— Qian
fonte

1

In realtà esiste una variabile d'ambiente: TIMEFORMAT che specifica l'output del tempo.

— Qian,

9

Le parole più riservate sono comandi incorporati in bash; se si desidera utilizzare un eseguibile con lo stesso nome di una parola riservata, specificare il percorso completo dell'eseguibile o uscire dal comando con una barra rovesciata.

$ time

real    0m0.000s
user    0m0.000s
sys 0m0.000s
$ \time
Usage: time [-apvV] [-f format] [-o file] [--append] [--verbose]
       [--portability] [--format=format] [--output=file] [--version]
       [--help] command [arg...]
$ then
bash: syntax error near unexpected token `then'
$ \then
bash: then: command not found

Inoltre, BASH FAQ # 32: "Come posso reindirizzare l'output di 'time' su una variabile o un file?" .

— Ignacio Vazquez-Abrams
fonte

A rigor di termini, le parole riservate non sono necessariamente dei comandi, come dimostra anche il tuo esempio.

— JdeBP,

1

È possibile utilizzare builtin <cmd>e command <cmd>forzare la chiamata di un comando incorporato o esterno bash.

— user1686
fonte