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.

Sign up for GitHub

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

Jump to bottom

Connect local Positron IDE to Gitpod via SSH? #193

Open

hturner opened this issue Sep 5, 2024 · 1 comment

Member

hturner commented Sep 5, 2024

The Positron IDE has experimental support for remote SSH sessions.

Meanwhile Gitpod has support to connect an IDE/editor via SSH.

So does this mean we can connect a local Positron IDE to our Gitpod workspace?

hturner changed the title ~~Connect local Positron to Gitpod via SSH?~~ Connect local Positron IDE to Gitpod via SSH?

hturner mentioned this issue

R Dev Container: Connect local Positron IDE to Gitpod via SSH? r-devel/r-dev-day#64

Open

lyashevska commented Sep 5, 2024

We have tried to achieve this functionality in several ways.

Via vscode.

Create a gitpod workspace for a given repository.
Install 'Gitpod' extension in vscode
Sign in via extension to gitpod account
A list of workspace will be available.
Pick one and connect.
Worked as expected.

Via Terminal.

Select 'Connect via ssh' and copy
Connect via terminal.
Worked as expected.

Via Positron

Create a gitpod workspace for a given repository.
Install 'Gitpod' extension in vscode
Sign in via extension to gitpod account
'Bad request' error
Did not work.

We think that there is a problem between gitpod API and positron. This is need some further investigation.

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