Eu extraio uma coluna de um arquivo com valores diferentes, alguns deles são 11 caracteres para 13, mas sempre que o valor é 11 eu preciso adicionar um 0 na frente.
awk -F, '{print $1 }' $FILE | \
awk '{printf("%04d%s\n", NR, $0)}' | \
awk...
30.12.2016 / 21:23