[rlug] Re: time

[Mihai Maties]

On Tuesday 25 May 2004 17:31, Dan Uscatu wrote:
> > START=$(date +"%s")
> > END=$(date +"%s")
> > echo "Executia blocului a durat $((END-START)) secunde"
>
> nu, nu asa, vreau cu time :)

time {
        com 1
        com 2
        com 3
}


Mihai

--- 
Detalii despre listele noastre de mail: http://www.lug.ro/