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

2022-12-26 Thread 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

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

2022-12-26 Thread Eli Zaretskii
> From: Paul Smith > Cc: gzaf...@gmail.com, bug-make@gnu.org > Date: Mon, 26 Dec 2022 09:15:56 -0500 > > On Mon, 2022-12-26 at 05:29 +0200, Eli Zaretskii wrote: > > How about reading the Sed script from a file, with the -f command- > > line argument? > > That would work. It's annoying to have

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

2022-12-26 Thread Paul Smith
On Mon, 2022-12-26 at 05:29 +0200, Eli Zaretskii wrote: > How about reading the Sed script from a file, with the -f command- > line argument? That would work. It's annoying to have to add an entirely new file in source control just to work around this though. > > bootstrap.bat is the