Lembrando que existem dois comandos time, um do próprio bash e outro que fica /usr/bin
[As partes desta mensagem que não continham texto foram removidas]
Lembrando que existem dois comandos time, um do próprio bash e outro que fica /usr/bin
[As partes desta mensagem que não continham texto foram removidas]