Quiero ejecutar el time
comando para medir el tiempo de varios comandos.
Lo que quiero hacer es:
- Mida el tiempo de ejecución de todos ellos sumados
- Escribir la
time
salida en un archivo - Escriba el
STDERR
del comando que estoy midiendoSTDERR
Lo que NO quiero hacer es
- Escriba los varios comandos en un script separado (¿por qué? Porque todo esto ya es un script que estoy generando programáticamente, y crear OTRO script temporal sería más complicado de lo que quiero)
Lo que probé hasta ahora:
/usr/bin/time --output=outtime -p echo "a"; echo "b";
No funciona, time
se ejecuta solo en el primero.
/usr/bin/time --output=outtime -p ( echo "a"; echo "b"; )
No funciona, (
es una ficha inesperada.
/usr/bin/time --output=outtime -p { echo "a"; echo "b"; }
No funciona, "no existe tal archivo o directorio".
/usr/bin/time --output=outtime -p ' echo "a"; echo "b";'
No funciona, "no existe tal archivo o directorio".
time ( echo "a"; echo "b"; ) 2>outtime
No funciona, ya que redirige todo STDERR
a outtime
; Solo quiero la time
salida allí.
Y por supuesto,
time --output=outime echo "a";
No funciona desde entonces --output=outime: command not found
.
¿Cómo puedo hacerlo?
time -p sh -c 'echo "a"; echo "b"'