想要 ${workspaceFolder} 在 Windows 上发出正斜杠？

Question

我正在 tasks.json 中配置 VSCode 任务，我需要将 ${workspaceFolder} 传递给“make”命令，但是它需要是正斜杠，而不是反斜杠。

{
"version": "2.0.0",
"echoCommand": true, 
"tasks": [
    {
        "label": "build",
        "type": "shell",
        "group": {
            "kind": "build",
            "isDefault": true
        },
        "command": "make",
        "args": [
            "APPDIR=\"${workspaceFolder}\""
        ]
. . .

有没有办法修改 ${workspaceFolder} 以在 Windows 上发出正斜杠？或者，是否有宏这样的东西，我可以在其中搜索和替换？

编辑：我的根本问题是 GNU make 似乎转义了从 APPDIR 传入的反斜杠，例如：C:\somedirectory\someotherdirectory\athirddirectory。我想如果我可以切换到正斜杠，它会解决这个问题。我无法控制，也无法编辑 make 文件。

谢谢

-约翰

Answer 1

在需要的地方使用extension.commandvariable.workspace.workspaceFolderPosix扩展命令变量${workspaceFolder}中的变量以及正斜杠。此扩展中还有其他有用的替换。