aGerman wrote:As I already wrote UTF-8 could be the default setting for a certain text editor. Also it could happen that the encoding of text files were automatically changed during upload or download (depending on the target operating system of the server or even the client).
Yes, I understand that; however, I think the encoding does not apply in this case because the files are copied with a select-text, copy-paste operation:
ReadMeFirst.txt file wrote:Follow these steps to download the files to your computer:
1. Right-click on destination folder, select New -> Text Document and enter the appropriate name from previous list (including the extension for .bat file); then open the new file (for .bat file, right-click on it and select Edit).
2. Open the corresponding file in this site (with "T2H - " prefix), select RAW below the file name, select all the text (Ctrl-A) and copy it (Ctrl-C). Close the window.
3. Select the file in your computer, paste the text (Ctrl-V) and close the file.
4. Repeat previous steps for all files.
If I create a file this way (that is the same way I create every new Batch file anyway) I think there is no way that the file change its type to UTF-8 for the fact of paste a block of text from the clipboard, unless that the text copied to the clipboard also includes its encoding...