( locsemege | 2020. 06. 06., szo – 12:11 )

Próbáld meg ezt mawk Ubuntu 20.04 környezetben, kíváncsi vagyok az eredményre:

echo "12,3" | awk '{ if($1==12.3) printf("true\n"); else printf("false\n"); }'

Szerintem true lesz.