Skip to content

Conversation

@NotLazy
Copy link

@NotLazy NotLazy commented May 14, 2025

This PR fixes the execution context of the extension to ensure that it prefers running locally, instead of on the remote extension host when using remote extensions such as Remote: SSH

Fixes #4

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

GUID doesn't get copied to clipboard on remote sources

1 participant