Support profiles in remote set ups

[burkeholland]

When creating a new profile while connected to a Codespace, VS Code should automatically load the Codespaces extension. The current behaviour is that the user is disconnected from their Codespace and even if you install the Codespaces extension, there is no way to reconnect to the Codespace besides closing the remote connection.

2022-11-02_09-49-07.mp4

[isidorn]

@burkeholland thanks for filling this. We have to fine tune the Codespaces + remote experience for profiles. We already have this item for this https://github.com/microsoft/vscode-internalbacklog/issues/3128

However I think your point is valid and we should keep that in mind when improving the Codespace experience. Thanks

[sandy081]

May be if users tries to create/switch profile when in a remote workspace, we shall be including the remote extension by default. But it is tricky because we do not know which remote extension is used for connecting to remote workspace.

[isidorn]

Just had a discussion with @sandy081 and we have ideas on how to fix this. We will look into it this milestone most likely.