awk 分割字符串 split()

TIME="07-MAR-2020"
echo ${TIME} | awk '{ z=split($0,date,"-") ; print date[3]"/"date[2]"/"date[1] }'
2020/MAR/07

TIME="ZZZZ,TTT,15:48:31,07-MAR-2020"
echo ${TIME} \
|sed "s/JAN/01/" \
|sed "s/FEB/02/" \
|sed "s/MAR/03/" \
|sed "s/APR/04/" \
|sed "s/MAY/05/" \
|sed "s/JUN/06/" \
|sed "s/JUL/07/" \
|sed "s/AUG/07/" \
|sed "s/SEP/09/" \
|sed "s/OCT/10/" \
|sed "s/NOV/11/" \
|sed "s/DEC/12/" \
|awk 'BEGIN {
FS=","
}
{
if ($0 ~ /ZZZZ/)  {   z3=split($3,time,":") ;z4=split($4,date,"-"); print mktime(date[3]" "date[2]" "date[1]" "time[1]" "time[2]" "time[3])}
}
END {
}'

1583567311