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]

Responder a