Changer le séparateur décimal sur Linux

Je pense qu’il y a un bug ou comportement bizarre de Gnome Shell sur les systèmes Belges.

Gnome Shell ignore simplement les « . » lors de calculs :

Le format de nombre de la locale « fr_BE » est défini pour les afficher ainsi: 120.152,12€

Le « . » étant aussi utilisé comme séparateur décimal dans tous les langages de programmation, je ne pense pas que changer la signification de la touche « . » de mon pavé numérique soit une solution pratique.

Je pense que le bug est que GnomeShell (ou la calculatrice) ignore le caractère « séparateur de millier ».

Voici donc mon astuce pour contourner le soucis :

Éditer le fichier /usr/share/i18n/locales/fr_BE et modifiez la section « LC_NUMERIC » comme ceci:

LC_NUMERIC
copy "fr_FR"
END LC_NUMERIC

Ce qui correspond au réglage de France, avec un espace insécable plutôt qu’un « . » comme séparateur des milliers :

LC_NUMERIC
decimal_point             ","
thousands_sep             "<U202F>"
grouping                  3
END LC_NUMERIC

C’est aussi comme cela que vous pouvez changer le séparateur décimal en remplaçant le « , » par un « . » si vous préférez ainsi.

Relancer la génération des locales:

# locale-gen

Et voilà !