Comando Linux 'time' no formato hora

Question

O comando Linux time produzirá a saída no formato de minuto e segundo. É possível alterá-lo para o formato de hora?

[user@Linux ~]$ time ./script.sh

real    394m30.145s
user    388m20.129s
sys     16m16.255s
[user@Linux ~]$ 

Seria bom se a saída pudesse ser formatada assim

[user@Linux ~]$ time ./script.sh

real    6 Hours 34 Minutes 30.145s
user    6 Hours 28 Minutes 20.129s
sys     16m16.255s
[user@Linux ~]$ 

    

Answer 1

Você pode usar /usr/bin/time como duvido que a palavra-chave time do shell tenha opções de formatação.

/usr/bin/time -f "%E" ./script.sh