Voglio eseguire il time
comando per misurare il tempo di diversi comandi.
Quello che voglio fare è:
- Misura il tempo di esecuzione di tutti loro sommati
- Scrivi l'
time
output in un file - Scrivi il
STDERR
dal comando che sto misurandoSTDERR
Quello che NON voglio fare è
- Scrivi i vari comandi in uno script separato (perché? Perché tutto questo è già uno script che sto generando in modo programmatico e creare UN ALTRO script temporaneo sarebbe più un disastro di quello che voglio)
Cosa ho provato finora:
/usr/bin/time --output=outtime -p echo "a"; echo "b";
Non funziona, time
viene eseguito solo sul primo.
/usr/bin/time --output=outtime -p ( echo "a"; echo "b"; )
Non funziona, (
è un token inaspettato.
/usr/bin/time --output=outtime -p { echo "a"; echo "b"; }
Non funziona, "nessun file o directory".
/usr/bin/time --output=outtime -p ' echo "a"; echo "b";'
Non funziona, "nessun file o directory".
time ( echo "a"; echo "b"; ) 2>outtime
Non funziona, poiché reindirizza tutto STDERR
in outtime
; Voglio solo l' time
uscita di lì.
Ed ovviamente,
time --output=outime echo "a";
Non funziona, dal momento --output=outime: command not found
.
Come posso farlo?
time -p sh -c 'echo "a"; echo "b"'