Я бы посоветовалawk '{print; $1 = 9997; print}'
$ echo '8852 0.53451 0.55959 0.65494 0.36047' | awk '{print; $1 = 9997; print}'
8852 0.53451 0.55959 0.65494 0.36047
9997 0.53451 0.55959 0.65494 0.36047
Вы упомянули о применении преобразования к нескольким файлам :это можно сделать либо с помощью цикла
for f in *.txt; do awk '{print; $1 = 9997; print}' "$f"; done
или (рекурсивно )с использованиемfind
find. -name '*.txt' -exec awk '{print; $1 = 9997; print}' {} \;
, однако, если у вас нет последней версии GNU Awk с расширением -i inplace
, результаты будут объединены и записаны в стандартный вывод.