Decimal separator

[Johnny Rosenberg]

In a terminal (bash), is there something that I can type that gives me the
current decimal separator?

For instance, if Swedish locale:

$ echo "Current decimal separator: ${SomeVariable}"
Current decimal separator: ,
$


Johnny Rosenberg
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.ubuntu.com/archives/ubuntu-users/attachments/20131223/fb32451e/attachment.html>