Re: DEBIAN: 10+

[Pietro Giorgianni <giorgian@interfree.it>]

> 3) time scrive sui stderr le statistiche d'uso delle risorse di 
>    sistema consumate da un comando. 
>  
>    Domanda. Perche non riesco a ridirigere l'output su un file con l'opzione 
>    -a ?. 
>    Guardate: 
>  
> 	# time -a=prova.txt find / -name core -type f 
> 	bash: -a=prova.txt: command not found 
>  
> 	real    0m0.003s 
> 	user    0m0.000s 
> 	sys     0m0.000s 
> 	# 

questa cosa inganna spesso, il fatto  è che bash ha un comando interno
time,  e  quindi invochi  quello  anziché  /usr/bin/time.  te ne  puoi
accorgere digitando: type time, otterrai: time is a shell keyword.

per fare quello che vuoi tu, devi scrivere:
/usr/bin/time -a=prova.txt find / -name core -type f 

ciao
--
pietro