Awk строка манипуляции

Question

У меня есть строка:

20120113083000Z 

, и я хочу, чтобы преобразовать его в:

2012 01 13 08 30 00 Z 

готов к mktime команды, чтобы преобразовать его в штамп даты.

У меня есть на данный момент:

echo '20120113083000Z' |  
awk '{print mktime(gensub(/(....)(..)(..)(..)(..)(..)(.)/,"\\1 \\2 \\3 \\4 \\5 \\6 \\7",1g,$1))}' 
1326439800 

Я знаю, что я мог бы использовать или патч в Баш, чтобы преобразовать его, но я хотел бы сохранить его в процессе AWK.

Есть ли лучший (более короткий или элегантный) способ?

N.B. Я хотел бы сделать это как можно более общим (gensub gawk only (?)).

Answer 1

$ echo 20120113083000 | sed 's/../& /g; s/ //' | awk '{print mktime($0)}' 
$ echo 20120113083000 | awk '{print mktime(gensub(/ /, "", "1", gensub(/../, "& ", "g")))}' 

Answer 2

echo 20120113083000Z | awk 'BEGIN { FS = "" } ; { print $1$2$3$4, $5$6, $7$8, $9$10, $11$12, $13$14, $15 }' 

Answer 3

Это может работать для меня:

echo '20120113083000Z' | awk '{gsub(/../,"& ");sub(/ /,"")}1' 
2012 01 13 08 30 00 Z