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

Error - Fresh install VSCodium #45

Open
sigmasoldi3r opened this issue Oct 15, 2024 · 1 comment
Open

Error - Fresh install VSCodium #45

sigmasoldi3r opened this issue Oct 15, 2024 · 1 comment

Comments

@sigmasoldi3r
Copy link

sigmasoldi3r commented Oct 15, 2024

Problem

Freshly installed, argus displays as not working:
imagen

Also the error message is empty.

imagen

Logs

OS: win32 (10.0.22631)
VSCode: 1.94.2
Error message


Output

Opening <>\template-master\src\main.rs
Calling backend with args	obligations,<>\template-master\src\main.rs
Argus output	process 107668, command: 	cargo	+nightly-2024-05-20,argus,obligations,<>\template-master\src\main.rs	[object Object]

Argus output	Killing process 26564
Argus output	Killing process 107668
Argus output	taskkill stdout: 
Argus output	taskkill stderr: ERROR: no se encontr� el proceso "26564".

Argus output	error: Command failed: taskkill /PID 26564 /T /F
ERROR: no se encontr� el proceso "26564".

Argus output	taskkill stdout: 
Argus output	taskkill stderr: ERROR: no se encontr� el proceso "107668".

Argus output	error: Command failed: taskkill /PID 107668 /T /F
ERROR: no se encontr� el proceso "107668".

Calling backend with args	obligations,<..>\template\src\main.rs
Argus output	process 102148, command: 	cargo	+nightly-2024-05-20,argus,obligations,<...>\template\src\main.rs	[object Object]

[CMD]: 	lastError
@gavinleroy
Copy link
Collaborator

We're working on a better way to communicate Argus failures vs build failures. For example, if you have a syntactic error then Argus will display red like this, but Argus hasn't crashed.

The output you posted doesn't seem to indicate that Argus crashed, what is the rustc message from cargo check?

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

2 participants