Da ich dies über eine Datei tun möchte, deren Zeilen mit Millisekunden für Zeitreihen beginnen, war ich auf der Suche nach einem guten Regex, der z. B. für Änderungen in einer Datei oder nur aus einer Bash-Shell verwendet werden kann. Optionen mit sed
, awk
oder mit nur bash und printf
würde helfen. Irgendwelche Ideen?Regex von epoch Millisekunden in ISO8601-Format zu konvertieren?
TIA.
Dies ist kein Job für einen regulären Ausdruck. Dies ist ein Programmierauftrag. – AdrianHHH