Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Documentation issue/feature request: behavior with VS Code Remote Development #1

Open
bersbersbers opened this issue Dec 12, 2019 · 1 comment
Assignees
Labels
enhancement New feature or request good first issue Good for newcomers

Comments

@bersbersbers
Copy link

When developing remotely (https://code.visualstudio.com/docs/remote/remote-overview) on a Windows/Linux computer and connecting to a Linux/Windows computer, what does platformSettings.platforms actually refer to? What about introducing platformSettings.localPlatforms and platformSettings.remotePlatforms, would that make any sense at all?

@runarsf runarsf added enhancement New feature or request good first issue Good for newcomers labels Dec 12, 2019
@runarsf runarsf self-assigned this Dec 12, 2019
@runarsf
Copy link
Owner

runarsf commented Dec 12, 2019

Hi @bersbersbers, thank you for your interest in this extension.

At the moment, the platform you're on (platformSettings.platforms) is determined by the Node.js methods os.platform() (linux, win32, darwin, freebsd, or sunos) and os.hostname(). Ref. Node.js documentation for the os module.
I have added an option that will allow you to set custom conditions for when settings should be loaded, it will be available in the next release.

When connecting to a remote computer using any of the remote plugins, the settings that were set when initially launching Code will be preserved. Meaning if you connect to a Linux computer from a Windows computer, the Windows settings will be the ones in use.
Remote developing isn't currently supported, but I'll look into adding support for it in a future version.

Thank you very much for your feedback!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request good first issue Good for newcomers
Projects
None yet
Development

No branches or pull requests

2 participants