关于一个shell脚本时间转换的有关问题

关于一个shell脚本时间转换的问题.
|100102|204|567179|17|20120508181904|192.168.1.60|1336529409|1336529944|922855616|535|0
|100102|204|119370|8|20120508183042|192.168.1.55|1336529687|1336530642|922855616|955|0
原数据是这样的.我要通过shell脚本把红色字体部分转换成yyyy-dd-mm 00:00:00.
grep "^|100102|" 20120508_18_204.log |awk ' BEGIN{FS="|"} { print $3"|"$4"|"$5"|"$8"|"$11"|"$7 }'

已知的方法有两个data -d和strftime()方法,但是只能单独执行.放到grep里面就失效了.


比较急.坐等~~~

[解决办法]

Perl code

grep "^|100102|" 20120508_18_204.log |awk ' BEGIN{FS="|"} { print $3"|"$4"|"$5"|"strftime("%Y-%m-%d %T",$8)"|"$11"|"$7 }'
[解决办法]
用了格式好丑，来纯的吧
grep "^|100102|" 20120508_18_204.log |awk ' BEGIN{FS="|"} { print $3"|"$4"|"$5"|"strftime("%Y-%m-%d %T",$8)"|"$11"|"$7 }'