Function connectToRemote

vscode-extension/src/openinvscode.ts:124–134

(username: string, vmId: string, workDir: string)

}

function connectToRemote(username: string, vmId: string, workDir: string) {
  try {
    const host = `${username}@${vmId}.vm.devbox-vms.internal`;
    const workspaceURI = `vscode-remote://ssh-remote+${host}${workDir}`;
    const uriToOpen = Uri.parse(workspaceURI);
    console.debug("uriToOpen: ", uriToOpen.toString());
    commands.executeCommand("vscode.openFolder", uriToOpen, false);
  } catch (err: any) {
    console.error('failed to connect to remote: ' + err);
  }
}

async function ensureDir(dir: string) {
  try {