On Mon, 2022-12-26 at 09:34 -0500, Paul Smith wrote: > > 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 :).
I realized I must have already known this at some point and forgotten it, since I used this method for other sed scripts in bootstrap.bat. Anyway I pushed a fix to bootstrap.bat that hopefully avoids the issue. I was still not ever able to reproduce the original failure on the Windows systems I have access to so I can't test it directly.
