Ajuda com arquivo de texto

[Filipe Fernandes]

Olá lista,

Tenho um arquivo de texto com datas na seguinte forma:

01 10 10
01 10 10 10
01 10 10 20
01 10 10 30
01 10 10 40
01 10 10 50
01 10 11
01 10 11 10
01 10 11 20
01 10 11 30
01 10 11 40
01 10 11 50
....

onde
col1 mes
col2 dia
col3 hora
col4 minuto

Gostaria de adicionar 00 na coluna 4 quando não tem nada, como fazer
isso com o awk?

Sou novato e por isso estava fazendo a operação na marra, onde imprimia
a coluna 4:

awk '{ print $4 }' TEMPO

e depois substitua colocava os 00 usando um loop em outro programa pra
só depois juntar tudo. Porém creio que deve ter uma forma mais fácil de
se fazer isso tudo em shell.

Obrigado, Filipe.


[As partes desta mensagem que não continham texto foram removidas]