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
