On Mon, 2022-12-26 at 16:30 +0200, Eli Zaretskii wrote: > Well, if that is a problem, you could have bootstrap.bat write that > file for you.
I thought of that but how can I write a file containing backslashes? > If you do this with "echo", you don't need to worry about backslash > munging, I think, since cmd.exe's "echo" is very simple-minded, and > just blindly copies every character, including the quotes. Oh... OK I will give this a try :).
