New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

modify the `LC_TIME` from `en_US` to `C` #111

Closed

Neutron3529 wants to merge 1 commit into arminbiere:master from Neutron3529:patch-1

Neutron3529 commented Aug 6, 2024

Modify the LC_TIME from en_US (which might not exists, since it is en_US.UTF8 that exists.) to C.

According to GNU's documents, LC_TIME=C should always work, which seems better than en_US.


          modify the LC_TIME from en_US to C

modify the `LC_TIME` from `en_US` (which might not exists, since it is `en_US.UTF8` that exists.) to `C`
According to [GNU's documents](https://www.gnu.org/software/gettext/manual/html_node/The-LANGUAGE-variable.html#The-LANGUAGE-variable), `LC_TIME=C` should always work, which seems better than `en_US`.

m-fleury added a commit that referenced this pull request


          change locale to generate date (bug #111)

9e7ce0c

arminbiere closed this

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet