Search Results

Display the elapsed time

$ export data_ini = `date +'%s'`; echo $data_ini
1292417961
$ export data_final = `date +'%s'`; echo $data_final
1292418079
$ ((temps = data_final - data_ini)); echo...