On 09.11.2021 18:49, Rahkonen Jukka (MML) wrote:
Hi,
hey Jukka,
I was about to add some missing translations into Finnish language file in
GitHub but I noticed this warning:
"We've detected the file encoding as ISO-8859-1. When you commit changes we will
transcode it to UTF-8."
neat of github webui to warn! i'm surprised, positively.
However, with Java properties files I think that should not be done because Java
"properties files should be encoded in ISO 8859-1 character encoding. Characters
that cannot be directly represented in this encoding can be written using Unicode
escapes" (from
https://docs.oracle.com/en/java/javase/11/docs/api/java.base/java/util/Properties.html).
correct
What is the right method to edit the language files and not to mess the right
character encoding? Should I edit the whole file outside GitHub and replace the
whole jump_fi.properties file? And if so, how to replace files in GitHub?
as the github webui fails, the only proper way is to use a git client, clone
the repo edit and push.
but actually the ISO9959-1 is a legacy and there are lot's of reasons to switch
the repo over to UTF-8 (especially the ease of use to international
contributers). maybe you wanna wait for that?
additionally, of course
1. you can download a snapshot containing a lang/ folder or download the file
from github
2. do the edits
3. post it here
and me or Mike will commit it then.
hope that helped.. healthy regards ede
___
Jump-pilot-devel mailing list
Jump-pilot-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel