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鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fails on code which import /dev/stdin #87

Closed
davidreuss opened this issue Feb 7, 2023 · 0 comments
Closed

Fails on code which import /dev/stdin #87

davidreuss opened this issue Feb 7, 2023 · 0 comments

Comments

@davidreuss
Copy link

davidreuss commented Feb 7, 2023

馃憢

We have (馃う) some code which imports /dev/stdin for which we're unable to run the jsonnet-langauge-server on.

I don't know whether the appropriate fix lies within the language server itself, or should be handled by upstream go-jsonnet code (have not dug that deeply into the code so far).

But if you can point me towards how/where you'd see the fix for this problem, i'd be happy to take a go at it.

Thanks in advance.

Tasks

No tasks being tracked yet.
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

1 participant