AIUTO PER SCRIPT: REDIRIGERE OUTPUT TIME

[filo83]

ciao a tutti!
è da un paio di giorni che cerco una soluzione ma non la trovo...:muro:
devo fare un semplice script che copi il file da una cartella a un'altra e crei un file .log in cui ci siano le informazioni del trasferimento (quanto tempo ha impiegato)
per avere queste info uso la funzione time, solo che non riesco a redirigere il suo output nel file

#!/bin/bash

SORDIR=/home/utente/sorgente
DESDIR=/home/utente/destinazione

for i in 1 2 3 4 5 6 7 8 9 10
do
time cp -r $SORDIR $DESDIR >> stat.log
done

in questo modo mi stampa a video l'output di time e in stat.log mi scrive solo ;
altrimenti è possibile fare un parsing dell'output di time?

grazie

[Torav]

Dovrebbe essere sufficiente redirigere lo stderr del comando, senza dimenticarsi però di mettere le parentesi per far capire alla shell quale output si deve redirigere :p

(time cp -r $SORDIR $DESDIR) &>> stat.log

[sacarde]

time ./script &>> file.log

oppure:

http://www.linuxquestions.org/questions/linux-general-1/time-output=log-txt-append-446953/

[sacarde]

oppure:


( time { echo "ciao"; ls -la; } ) > /dev/null 2> time.log

[filo83]

il primo che mi hai indicato funziona benissimo per il mio scopo
grazie mille!