У меня есть эти CSV-файлы с 68 столбцами, и 3 из этих столбцов показывают метку времени в ГГГГММДДЧЧММСС.SSS
Я хотел бы заменить эти столбцы на соответствующее 10-значное значение периода без миллисекунд.
В моем случае столбцы отметок времени - 10, 15 и 20.
Я видел несколько примеров с awk, но ни один из них не касается моего случая.
Заранее спасибо.