tempo (1) é impresso em stderr , portanto, é necessário redirecionar a saída para stdout 2>&1
e, em seguida, enviar para > grep para encontrar a linha que você quer grep real
. Então, por fim, use awk para imprimir a coluna que você quer awk '{ print $2 }'
.
Isso deve ser parecido com:
(time command_to_time) 2>&1 | grep real | awk '{ print $2 }'