Skip to content

Option to put Julia connector pipe in home directory #2423

@jacobadenbaum

Description

@jacobadenbaum

Currently generatePipeName puts the pipe for the Julia connector in the /tmp/ directory on Linux.

export function generatePipeName(pid: string, name: string) {
if (process.platform === 'win32') {
return '\\\\.\\pipe\\' + name + '-' + pid
}
else {
return path.join(os.tmpdir(), name + '-' + pid)
}
}

This can cause problems attaching to an external REPL if the julia process is running on a separate machine. For instance if you are working on a cluster, and you want to launch an interactive Julia process through the cluster's scheduler (i.,e via srun on Slurm), and then connect to that interactive REPL, then the current process for connecting to an external REPL will throw an error because that location is not accessible on the remote machine.

Is it possible to add an option that allows the Julia connector pipes to live in the ~/.vscode/ directory instead? Or is there another solution for how to connect to an external repl that would work in this situation that I could use instead?

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions