Skip to content

Update the jetbrains-backend-coder plugin in Gateway #1

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

Closed
4 tasks
Kira-Pilot opened this issue Mar 28, 2024 · 2 comments
Closed
4 tasks

Update the jetbrains-backend-coder plugin in Gateway #1

Kira-Pilot opened this issue Mar 28, 2024 · 2 comments
Assignees

Comments

@Kira-Pilot
Copy link
Member

Kira-Pilot commented Mar 28, 2024

Ideally, we should use Gateway to detect when a new version of the jetbrains-backend-coder plugin is available and automatically download and install this update in the IDE so that users don't have to manually check for new releases.
If Gateway does not have this capability, we will have to prompt the user to manually upgrade.

Requirements:

  • If possible, use Gateway to automatically detect and install new plugin versions.
  • If not possible, prompt the user to manually upgrade.
  • Support early-access and LTS versions as outlined in Document new jetbrains-backend-coder repository #3.
  • Update our Toolbox branch for feature parity.
@Kira-Pilot Kira-Pilot added this to the Port Forwarding milestone Mar 29, 2024
@Kira-Pilot Kira-Pilot changed the title automatically port forward Update the jetbrains-backend-coder plugin in Gateway Mar 29, 2024
@code-asher
Copy link
Member

code-asher commented Apr 3, 2024

After some internal discussion, it might be best to implement this generically, like a list of plugins that the Gateway plugin can pre-install for you. One of those plugins could be the new backend plugin (perhaps set in there by default).

So, once coder/jetbrains-coder#386 is implemented it should close this out.

It would be the Gateway plugin basically doing ssh -c idea.sh installPlugins coder-gateway-backend (although it depends on whether we can publish the plugin on the marketplace since it uses internal APIs, if not we have to install from GitHub potentially).

@Kira-Pilot
Copy link
Member Author

covered by coder/jetbrains-coder#386

@Kira-Pilot Kira-Pilot closed this as not planned Won't fix, can't repro, duplicate, stale Apr 15, 2024
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

No branches or pull requests

2 participants