Separar y operar campos fijos con awk o gawk.

Pues es muy facil el problema tenemos un archivo plano con campos fijos tal que:

camposfijos.txt

1112223333
4445556666
7778889990

Con el layout:

a(1:3)
b(4:6)
c(7:10)

Usamos la magia de AWK o GAWK
camposfijos.awk
{
    // separamos campos.
    a=substr($0,1,3);
    b=substr($0,4,3);
    c=substr($0,7,4);
    //operamos
    d=(a+b)/c;
    //imprimimos
    print a ":" b ":" c ":" d;
}

Listo! después publicaré más truquitos.