Come si recupera l'ora corrente su un server?

Voglio sapere il tempo su un server preciso al millisecondo.

c'è così:

local $ ssh user@servername
Welcome to server!
server $ date
Fri Feb 18 11:27:50 EST 2011

Ma ho bisogno di più precisione. C'è un comando che sarà più preciso?

Controlla "man date". Puoi lasciarti visualizzare ore, minuti, secondi e nanosecondi

date +%H:%M:%S.%N

Vedi l'output di

while : ; do date +%H:%M:%S.%N ; done

interrompere l'infinito ciclo while con CTRL + C.

Se vuoi meno decimali puoi farlo

while : ; do date +%H:%M:%S.%N | cut -c 1-12 ; done

Aumentare o ridurre la lunghezza dell'uscita modificando "12" su "-c 1-12" dopo il taglio.

Nessun comando di cui sono a conoscenza, ma puoi chiamare gettimeofday per ottenere risultati precisi al millisecondo. Ci sono esempi compilabili su StackOverflow, in particolare i CTT sarebbero di interesse.