[esco]

Ho cercato senza successo una opzione per un datario contenente le seguenti informazioni:

2018 06 06 12:38:54:18

dove il "18" alla fine rappresenta i decimi di secondo

Vorrei utilizzare il Raspberry Pi3, la sua porta HDMI, un vecchio monitor e la porta Ethernet per la connessione alla rete LAN per acquisire l'ora esatta da internet (e se possibile un format). Ad esempio, presso la galleria del sito https://www.clocklink.com/gallery non c'è una opzione con i decimi di secondo. Suggerimenti?

[Painbrain]

Veramente un bel quesito. Puoi provare a calcolarti i millesimi usando il clock del processore tra un secondo e il successivo.
Ovviamente a livello teorico, come farlo non ne ho proprio idea

Non so se esista un servizio online così preciso, già il ping ti falserebbe la lettura...

Inviato dal mio Redmi Note 4X utilizzando Tapatalk

[Zzed]

Non ho ben capito cosa vuoi ottenere.
Ma in Python:

Codice:

import time
print datetime.datetime.now()

stampa data e ora corrente con tanto di 5 cifre decimali (microsecondi)