-
Notifications
You must be signed in to change notification settings - Fork 2.5k
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
error /home/theia/node_modules/vscode-ripgrep: Command failed. #7384
Comments
I think it is an issue for vscode-rigrep: microsoft/vscode-ripgrep#5 Not sure what we can do about it in Theia. |
thx for your reply.
source: microsoft/vscode-ripgrep#10 never the less: |
Hi, I replied into the original issue thread microsoft/vscode-ripgrep#10 (comment) Emmanuel |
great thx! |
Description
I try to install theia with python plugins behind a proxy (incl. ssl interception) on top of a custom docker image (ubuntu xenial).
the proxy is passed via --build-args to the ENVs HTTP_PROXY and HTTPS_PROXY (both upper and lower case).
It would be easily possible to provide the package in our local repo but I dont know how to pass it to the install script
I get the error:
Reproduction Steps
My Dockerfile looks like:
OS and Theia version:
ubuntu xenial, theia next
Diagnostics:
Error log is in the Description.
package.json
thx
The text was updated successfully, but these errors were encountered: