Не уверен, что самый эффективный способ сделать это.Bash кажется самым простым, у меня есть дата начала.
set -A mAMon N/A Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec
sed -e 's/-/ /g' -e 's/\(.*:..\).\{4\}/\1/' -e 's/\.\([0-9]\)/ \1/g' -e 's/\./ /2' inp_file
Я выяснил, как извлечь столбцы, но не уверен, как конвертировать
Это то, что у меня есть ...
Код:
NEWDNS 04-Jun-2011 06:00:59.762 10.220.136.217 crl.verisign.com
Это то, что мне нужно .... Измените дату, удалите мил секунд, удалите точки в ips и удалите последнюю точку в URL.
Код:
NEWDNS 2011-06-04 06:00:59 10 220 136 217 crl.verisign com
Спасибо