Srr dor de ser dela
deixe dizer que tenho uma base de dados em um arquivo como este

1 @ 1000
2 @ 2000
4 @ 4000
5 @ 7770
6 @ 8998
7 @ 80008

Sou um newbie em Unix
i necessidade de acrescentar uma vírgula ao inteiro usando Awk função. por exemplo, 1.000 ou 80.008
Como posso fazer isso

ps. Estou usando comandos bash

Assumindo o seu local suporta milhares separadores (e muitos não) e você estiver usando basbaque (GNU awk) e não awk ou nawk o seguinte irá fazer o que quiser

$ cat t.awk
{ printf "%d@%'d\n", $1, $2 }
$
$ cat file
1@1000
2@2000
4@4000
5@7770
6@8998
7@80008
$
$ gawk -F@ -f t.awk file
1@1,000
2@2,000
4@4,000
5@7,770
6@8,998
7@80,008
$