Входные данные - 3 столбца. Первые 2 на выхлопе загоняются в рамки <td></td>, а последний надо тоже загнать в рамки <td></td>, но дополнительно преобразовать его значение в часы:минуты:секунды. Вот чего добился:
# echo 1 2 250 | awk '{system("date -u +%H:%M:%S " "-d@"$3)} {print "<tr><td>"$1,"</td><td>"$2,"</td><td>"$3"</td></tr>"}'
00:04:10
<tr><td>1 </td><td>2 </td><td>250</td></tr>
<tr><td>1 </td><td>2 </td><td>00:04:10</td></tr>
Знатоки awk, подскажите пожалуйста. Спасибо.