microsoft / microsoft/vscode-remote-release

RemoteSSH: allow to detect or set remote PATH (user set PATH ignored)

Open
#11,073 4 comments 1 reaction 0 assignees View on GitHub

Nobody has claimed this yet.

ssh
Dominant language
Dockerfile
Stars
4.2k
Forks
469
Avg merge
1d 1h
Merged PRs (30d)
1

Description

Could it be possible to override the default SSHd given PATH on a remote, or better, have VSCode detect the user PATH when starting on a remote?

The use-case is:

  • the user (non-admin) install more tools / newer tools on the remote host and want VSCode (+ extensions) to use them,
  • so the user add entries to the PATH (using remote shell rc/profile files),
  • however it seems VSCode doesn't start a login shell to detect the final user PATH and sticks with the SSHd given one, so only default PATH (system-wide) tools are available.

In a shell/terminal, user-installed tools are available however, since the rc/profile files are properly sourced here.

If I'm mistaken about this, and there's some PATH detection or some way to set a PATH for VSCode, could you explain how or point to a documentation?

Please note I searched for issues about this topic (is:issue in:title PATH label:ssh) and could not find anything like this request.

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Start by tracing how the Remote-SSH extension starts VS Code on the remote host and obtains PATH; the issue contrasts the SSHd environment with shell rc/profile sourcing. Done means user-installed tools added through the remote user's PATH are available to VS Code and extensions, or the supported configuration is documented.

Written by the indexing model from the issue text.

Assessment

Tech stack
vscode
Domain
developer-experience
Issue type
Feature
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
38/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.