Bash palavras reservadas vs. comandos incorporados e formatar a saída do comando time

Question

Qual é a diferença entre as palavras reservadas do bash e os comandos incorporados?

Posso desativar o horário de bash e usar /usr/bin/time ? Se não, como posso formatar sua saída?

    

Answer 1

A maioria das palavras reservadas são comandos embutidos no bash; se você quiser usar um executável que tenha o mesmo nome que uma palavra reservada, especifique o caminho completo para o executável ou escape do comando com uma barra invertida.

$ 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

Além disso, BASH FAQ # 32: "Como eu posso redirecionar a saída de 'time' para uma variável ou arquivo?" .

    

Answer 2

Você pode usar builtin <cmd> e command <cmd> para forçar a chamada de um comando incorporado ou externo de um bash.