diff --git a/src/vs/server/remoteCli.ts b/src/vs/server/remoteCli.ts index 3eb4685f95573ccbc2d2c0abce2617ebf5bd6f19..0cdcf016205f5c6dc1227330093f7ed30bf244e5 100644 --- a/src/vs/server/remoteCli.ts +++ b/src/vs/server/remoteCli.ts @@ -381,9 +381,10 @@ function translatePath(input: string, mapFileUri: (input: string) => string, fol fileURIS.push(mappedUri); } else if (stat.isDirectory()) { folderURIS.push(mappedUri); + } else if (input === '/dev/null') { + // handle /dev/null passed to us by external tools such as `git difftool` + fileURIS.push(mappedUri); } - // handle paths like /dev/null that external tools (e.g. git difftool) pass to us - fileURIS.push(mappedUri); } catch (e) { if (e.code === 'ENOENT') { fileURIS.push(mappedUri);