awk цифры после запятой

GAGAUZ25

awk '{print $1+$2}'
округляет до целых, как сделать чтобы не округляло?

vall

buzz:~$ echo 3.14159 2.71828 | awk '{print $1+$2}'
5.85987
buzz:~$ awk --version
GNU Awk 3.1.6

GAGAUZ25

спасибо
узнал в чем дело
 setenv LC_NUMERIC C 

:)
в локале запятая разделителем была

tokuchu

в локале запятая разделителем была
Ну вот, дожили до всеобщей локализации. Теперь проги перестают числа воспринимать. :grin:
Кстати, я похожий баг в gnome-games постил. Там маджонг хранит карты в xml, а при чтении, если он был запущен в русской локали, дробные числа ломались. :)

Marinavo_0507

ам маджонг хранит карты в xml, а при чтении, если он был запущен в русской локали, дробные числа ломались.
Что, в xml даже для чисел нет стандартного представления?

tokuchu

Что, в xml даже для чисел нет стандартного представления?
А хз. Они же там как текст хранились. Вообще там же типов данных вроде нет. Только текст+структура.
Оставить комментарий
Имя или ник:
Комментарий: