mattcen, 24 days ago

@phs @cafuego Here you go, python 3.8 compatible:

#!/usr/bin/env python  
import datetime, os, sys  
for line in sys.stdin:  
 line=line.strip().split(' ')  
 print(datetime.datetime.fromisoformat('.'.join(line[0:2])).astimezone(), ' '.join(line[2:]))