FANDOM


Questo script realizza un cronometro.

Soluzione per bashModifica

$ 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)

CommentoModifica

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.

Soluzione alternativa per bashModifica

$ time cat

Il cronometro viene fermato tramite un carattere di EOF (ctrl-D) o un interrupt (ctrl-C)

CommentoModifica

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).

Ad blocker interference detected!


Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.

Inoltre su FANDOM

Wiki casuale