Cronometro
Da One Liners.
Questo script realizza un cronometro.
Indice |
[modifica] Soluzione per bash
$ echo `echo "-" ; date +%s ; cat > /dev/null ; echo "+" ; date +%s` | bc
il cronometro viene fermato tramite un carattere di EOF (ctrl-D) o un interrupt (ctrl-C)
[modifica] Commento
Questo script fornisce un risultato in secondi, non molto preciso, ma disponibile sullo standard output.
Calcola in pratica il tempo per il quale ha funzionato cat, ovvero il tempo in cui ha atteso di essere chiuso dall'utente.
Il calcolo è effettuato da bc tramite differenza tra gli orari di inizio e fine, stampati con date.
La ripetizione degli echo all'interno dello script, al posto dell'aggiunta dei segni meno e più all'echo iniziale, sembra fornire comportamenti, anche esteticamente, migliori.
[modifica] Soluzione alternativa per bash
$ time cat
Il cronometro viene fermato tramite un carattere di EOF (ctrl-D) o un interrupt (ctrl-C)
[modifica] Commento
Questa variante è molto più semplice, ma fornisce un output più difficilmente manipolabile, anche se già in minuti e secondi. La precisione non è comunque elevata, anche a causa di eventuali bug di time (vedi la pagina di manuale relativa).
