Re: [JPP-Devel] How to edit properties files in GitHub right?
On 09.11.2021 19:15, edgar.sol...@web.de wrote: 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 just looked up some more background https://stackoverflow.com/questions/4659929/how-to-use-utf-8-in-resource-properties-with-resourcebundle ..ede ___ Jump-pilot-devel mailing list Jump-pilot-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel
Re: [JPP-Devel] How to edit properties files in GitHub right?
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
[JPP-Devel] How to edit properties files in GitHub right?
Hi, 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." 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). 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? -Jukka Rahkonen- ___ Jump-pilot-devel mailing list Jump-pilot-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/jump-pilot-devel