Pascal Breuninger

Hi @snapiz, thank you for submitting a feature request, we'll look into it 👍

VSCode Insiders is now an experimental IDE in DevPod! Let us know if you encounter any problems. We'll kick off a new release in about 1-2 days

What system are you on @codeagencybe? The proposed solution would also solve your problem as we shouldn't run into permission issues inside of the `.devpod` folder

@levsha @codeagencybe you can run `devpod up --ssh-config $ALTERNATIVE_CONFIG_PATH` to use a different ssh config if you need to for the time being. This isn't configurable from the UI right...

With v0.5.5 we _prepend_ entries to the ssh config to avoid other configurations messing with the automated ones. Additionally you can alway set the context option to use a different...

Hi @kdandersen, thank you for opening the issue. We looked into the topic a while ago but tbh it's not very high up on the priority list. You can try...

@gbonnefille I fear if we just release the `.exe` file it will be more confusing to figure out which file to download and I'm not sure if the signing will...

Yes you got that right, I thought you want to release the GUI `.exe` alongside the `.msi`

Hey @peterwwillis, thanks for opening the issues, we'll look into it asap

What's the output on your machine if you run `echo -n \"_SHELL_ENV_DELIMITER_\"; env; echo -n \"_SHELL_ENV_DELIMITER_\""`? **Important: Please redact the actual env vars before you paste a response here**