use python3.8 for timestamp generation instead of date + shell script..

This gives more precision, and a better idea when the stamps came in..

streaming

@@ -3,4 +3,13 @@
 curl --no-buffer --digest -u installer:$(cat creds.inst.txt) http://$(read a b << EOF
 $(cat creds.txt)
 EOF
-echo $a)/stream/meter 2>/dev/null | awk '$0 != "\r" { if ($1 == "data:") $1 = ""; print; fflush }' | ts-util > home.power.$(date +%Y%m%d%H%M).log
+echo $a)/stream/meter 2>/dev/null | python3.8 -c 'import time; import sys
+inp = sys.stdin
+inp.reconfigure(line_buffering=True)
+sys.stdout.reconfigure(line_buffering=True)
+for i in inp:
+	i = i.strip()
+	if not i:
+		continue
+	i = i.split(maxsplit=1)[1]
+	print(time.time(), i)' > home.power.$(date +%Y%m%d%H%M).log

ts-util

@@ -1,5 +0,0 @@
-#!/bin/sh
-
-while read l; do
-	echo $(TZ=UTC date +%Y-%m-%dT%H:%M:%SZ) $l
-done