Questão como tempo um processo em bash? [duplicado]

Duplicado de superuser.com/questions/228801/measure-script-execution-time/… - Wuffers

Você já tentou quebrar seu código no tempo {} - n0pe

time is a shell keyword - Hello71

@ Hello71 meu linux bash não fornece um comando de tempo, ele usa /usr/bin/time. Contudo zsh faz, assim como meu solaris tcsh. Portanto, mesmo que não seja construído em seu shell, você tem um tempo fornecido pelo seu userland como um substituto. Além disso, esses comandos de tempo podem fornecer uma saída ligeiramente diferente. - mbx

@mbx: A partir da versão 2.0 do Bash, o tempo tornou-se uma palavra reservada no shell, com um comportamento ligeiramente alterado em um pipeline. - Hello71

@ Hello71 embora reservado, nesse sistema which time devolve o tempo da terra do utilizador em vez do aviso da palavra-chave reservada - mbx

@mbx: which nunca faz isso. Estou me referindo type. - Hello71