in src/utility.ts [127:149]
public static adjustFilePath(filePath: string): string {
if (os.platform() !== "win32") {
return filePath;
}
const windowsShell = vscode.workspace.getConfiguration("terminal").get<string>("integrated.shell.windows");
if (!windowsShell) {
return filePath;
}
const terminalRoot = Utility.getConfiguration().get<string>("terminalRoot");
if (terminalRoot) {
return filePath.replace(/^([A-Za-z]):/, (match, p1) => `${terminalRoot}${p1.toLowerCase()}`).replace(/\\/g, "/");
}
const winshellLowercase = windowsShell.toLowerCase();
if (winshellLowercase.indexOf("bash") > -1 && winshellLowercase.indexOf("git") > -1) {
// Git Bash
return filePath.replace(/^([A-Za-z]):/, (match, p1) => `/${p1.toLowerCase()}`).replace(/\\/g, "/");
}
if (winshellLowercase.indexOf("bash") > -1 && winshellLowercase.indexOf("windows") > -1) {
// Bash on Ubuntu on Windows
return filePath.replace(/^([A-Za-z]):/, (match, p1) => `/mnt/${p1.toLowerCase()}`).replace(/\\/g, "/");
}
return filePath;
}