altere o formato de data / hora de aaaammddHHMMss para dd / mm / aaaa HH: MM: ss

Question

Como altero o formato de data / hora de yyyymmddHHMMss para dd/mm/yyyy HH:MM:ss

que é exibido como uma saída (por exemplo, JOBNAME1 INICIADO EM 20180904152402)

de um comando ...

grep JOBNAME1 | sed -e s/|/ /g | awk {print $3,$7,$8,$9} |sort -r -k 4

    

Answer 1

Método do awk dolorosamente feio:

echo JOBNAME1 STARTED AT 20180904152402 | awk '{$4=substr($4,7,2)"/"substr($4,5,2)"/"substr($4,1,4)" "substr($4,9,2)":"substr($4,11,2)":"substr($4,13,2); print}'

    

Answer 2

d='\([[:digit:]]\{2\}\)'
sed "s|$d$d$d$d$d$d$d|// ::|g"

Então, para o seu código:

d='\([[:digit:]]\{2\}\)'
awk -F'|' '/JOBNAME1/ {print $3,$7,$8,$9}' | sort -rk 4 |
  sed "s|$d$d$d$d$d$d$d|// ::|g"