Re: [PATCH] Bad sed expression in bootstrap.bat

[Paul Smith]

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 :).