文件中有很多行,如下所示:
000100667 ===> 000102833
005843000 ===> 005844000
011248375 ===> 011251958
我想在数字中插入特定的分隔符,如下所示:
00:01:00,667 ===> 00:01:02,833
00:58:43,000 ===> 00:58:44,000
01:12:48,375 ===> 01:12:51,958
现在我正在尝试(仅第一部分成功):
echo 000100667 | gawk '{printf "%s:%s:%s,%s\n", $1, $2, $3, $4}' FIELDWIDTHS="2 2 2 3"