Como multiplicar duas colunas em um arquivo por um número constante

Question

Eu tenho um arquivo como este.

dados de entrada

4.2394 4.4569
4.2427 4.1011
4.2879 4.1237
4.2106 4.4844
4.2373 4.1071
4.1322 4.0502
4.3103 4.4255
4.4342 4.5262

Preciso multiplicar cada elemento por um fator constante (neste exemplo o fator é 8,06573) para produzir uma saída como esta:

saída

34.193855762    35.948152037
34.220472671    33.078365303
34.585043667    33.260650801
33.961562738    36.169959612
34.176917729    33.126759683
33.329209506    32.667819646
34.765716019    35.694888115
35.765059966    36.507107126

Answer 1

Acho que isso faz o que você deseja; ele aceita uma variável awk chamada "fator" que pode ser facilmente definida como você quiser:

awk -v factor=8.06573 '{printf "%2.9f %2.9f\n", $1 * factor, $2 * factor}' 

Com a entrada fornecida, ele gera:

34.193855762 35.948152037
34.220472671 33.078365303
34.585043667 33.260650801
33.961562738 36.169959612
34.176917729 33.126759683
33.329209506 32.667819646
34.765716019 35.694888115
35.765059966 36.507107126