Accesso a RaspberryItaly

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 secon

Per misurare il livello dell'acqua in un serbatoio è possibile seguire uno dei tanti progetti disponibili in rete, come il seguente basato su Arduino:
https://www.hackster.io/karthickcj0083/a...ler-b2508d

Il level controller b2508d (ultrasonica sensor HC-SR04 generic) temo non funzioni al buio, ovvero nel pozzetto di protezione di un pozzo per misurare il relativo livello dell'acqua che potrebbe trovarsi anche a 15-20 metri da testa pozzo. Se così, valuterei l'util