"man awk" en général, et "man printf" pour l'explication des formats printf().
Tu vas en avoir besoin.
Sinon je dirais que ça prend les 7 premiers caractères de chaque ligne de TEXT.OLD.TXT, lui ajoute un "d", prend les 7 suivantes et lui ajoute "dd".
Ce qui donne :
01234567890123
=> 0123456d789123dd
Mais c'est compliqué pour pas grand chose :
awk '{ printf("%sd%sdd\n",substr($0,1,7), substr($0,8,7)) }' |
Message édité par Elmoricq le 29-12-2005 à 14:14:28