-
Notifications
You must be signed in to change notification settings - Fork 63.6k
Description
Code of Conduct
- I have read and agree to the GitHub Docs project's Code of Conduct
What article on docs.github.com is affected?
Jetbrains support remote development, ie. the IDE runs headlessly on a remote machine (Host), and your local machine (Client) connects to the remote IDE instance via SSH. See https://www.jetbrains.com/remote-development/gateway/
Plugins can be installed on the Host, or Client, or both. The ambiguity this causes isn't unique to the Copilot plugin, and Jetbrains seems to expect plugin maintainers to provide their own guidance, see https://youtrack.jetbrains.com/articles/SUPPORT-A-696/Where-should-the-plugin-be-installed-in-the-client-or-on-the-host-for-remote-development
Currently, https://docs.github.com/en/copilot/how-tos/set-up/install-copilot-extension?tool=jetbrains offers no guidance on how to install Copilot when using Jetbrains Gateway, and there's a number of bugs when installing the Copilot plugin on the Host (ie. remote IDE instance), see https://youtrack.jetbrains.com/issue/IJPL-170858/Github-copilot-not-working-in-gateway and https://youtrack.jetbrains.com/issue/IJPL-170887/Copilot-plugin-can-be-installed-on-backend-and-doesnt-work-this-way.
I'd like to ask for guidance to be provided on whether the plugin needs to be installed on the host, client, or both
What part(s) of the article would you like to see updated?
https://docs.github.com/en/copilot/how-tos/set-up/install-copilot-extension?tool=jetbrains
A section should be added explaining how to install the plugin for Jetbrains Gateway users
Additional information
No response