Como faço para o bash usar o tempo binário (/ usr / bin / time) por padrão, em vez da palavra-chave shell? which timeretorna /usr/bin/time type timeretorna Em time is a shell keyword execução timeestá obviamente executando a palavra-chave shell: $ time real 0m0.000s user 0m0.000s sys...