I was wondering what are the options to configure decimal/thousands separator. I’m currently seeing numbers formatted the US way and I would like to change it.
Is this inherited from the server locale? I didn’t find an environment variable and I couldn’t find any setting at the user level.
Any help is appreciated!