On Fri, 14 Jan 2022 13:45:51 GMT, Daniel Jelinski <d...@openjdk.java.net> wrote:
> Backslashes in `sed` replacement string are interpreted by `sed`. In order to > output the strings we want, the replacement text needs to be escaped again. > See https://stackoverflow.com/a/2705678 > > Verified that with this patch VSCode is able to open the workspace, and all > files are visible in "Explorer". Looks good! ------------- Marked as reviewed by erikj (Reviewer). PR: https://git.openjdk.java.net/jdk/pull/7083