Skip to content
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

[Feature]: VSCode-Remote (SSH) support? #74

Open
ELLIOTTCABLE opened this issue Sep 2, 2022 · 6 comments
Open

[Feature]: VSCode-Remote (SSH) support? #74

ELLIOTTCABLE opened this issue Sep 2, 2022 · 6 comments
Assignees
Labels
enhancement New feature or request

Comments

@ELLIOTTCABLE
Copy link

Is your feature request related to a problem? Please describe.
When working remotely over VScode Remote (SSH — a Linux box — not WSL), this extension doesn't appear to have any effect. The pop-up that a Nix environment has been detected works; but clicking the "Select" button does … nothing; the window doesn't reload, the environment doesn't appear affected.

Describe the solution you'd like
I'd like to be able to use VSCode-OCaml-Platform etc with Nix environments that are on remote vscode-ssh servers! (=

@ELLIOTTCABLE ELLIOTTCABLE added the enhancement New feature or request label Sep 2, 2022
@dcarosone
Copy link

Not exactly nothing. I get a spinning "Applying environment…" in the bottom window, but it seemingly makes no progress.

image

@dliberalesso
Copy link

@ELLIOTTCABLE Are you selecting flake.nix or shell.nix?

@itslychee
Copy link

I tried selecting both default.nix and flake.nix and it is stuck on Applying environment as well

@dougch
Copy link

dougch commented Jun 28, 2023

Same behavior here, so I lsof'd the agent and found there is an agent log under ~/.vscode-server/data/logs/{TIKMESTAMP}/remoteagent.log

2023-06-28 19:48:56.745 [info] [127.0.0.1][25cadbd5][ExtensionHostConnection] <62108><stderr> error: nix-shell requires a single derivation

But I'm choosing flake.nix, are flakes not supported? or is there a configuration toggle to switch to nix develop?

@senseab
Copy link

senseab commented Oct 13, 2023

same problem here

@jeromegn
Copy link

Works remotely for me, but I haven't found the right combo to properly apply it. Clicking "reload" on the popup does nothing and reloading manually doesn't always / ever apply the change. It does eventually work.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

8 participants