Há muitas linhas em um arquivo, como as seguintes:
000100667 ===> 000102833
005843000 ===> 005844000
011248375 ===> 011251958
Gostaria de inserir separadores específicos nos números como este:
00:01:00,667 ===> 00:01:02,833
00:58:43,000 ===> 00:58:44,000
01:12:48,375 ===> 01:12:51,958
No momento estou tentando (sucesso apenas na primeira parte):
echo 000100667 | gawk '{printf "%s:%s:%s,%s\n", $1, $2, $3, $4}' FIELDWIDTHS="2 2 2 3"