Отдельное число с плавающей точкой awk

Question

Я ищу способ разделить вывод awk на два значения. Вот массив со значениями

  0    0.0
   1    0.1
   3    0.3
   4    0.4
   5    1.0

Выходные данные печатаются с

printf("  %d    %.1f\n ",n, arr[n] 

Мой вопрос заключается в том, как получить значения

0 0 0
1 0 1
2 0 3 
4 0 4
5 1 0 

Разделив число с плавающей запятой внутри функции printf

Answer 1

Вы можете использовать это awk с sub:

awk '{arr[$1]=$2} END {for (n in arr) {sub(/\./, OFS, arr[n]); print n, arr[n]}}' file

0 0 0
1 0 1
2 0 3
4 0 4
5 1 0