Error -4058 can't find idris executable

[GSmithApps]

I'm getting error message -4058 that says it can't find the idris executable. I have the right file path in my package settings, so I don't know what the error is. Here's the message:

Thanks!

[justjoheinz]

I have never worked on Windows - could you try to specify the path including the .exe ending?

[GSmithApps]

That's a good idea. I'm pretty sure I tried it, and it didn't work. But I'll try again and let you know. Thank you!

[justjoheinz]

Or play around with the slashes, like C:\... or C:\\... ?

[GSmithApps]

I originally just went to the file's properties and copied the whole file path. I assumed that was kind of a foolproof method. I'll try messing with the slashes

[GSmithApps]

yeah I just tried and it didn't work:(

[justjoheinz]

Can you invoke idris from the terminal?

[justjoheinz]

Or a Anti Virus software denies to spawn the idris process?

[GSmithApps]

Let me check. Those are good ideas! Thank you very much for helping

[GSmithApps]

yeah i can invoke it from the prompt. I'll look at the antivirus thing

[GSmithApps]

still not working

[melted]

I run it on Windows, and I don't see this.

[justjoheinz]

@melted Could you post the exact entry of your idris path setting for reference please?

[joelberkeley]

I'm seeing the same on ubuntu 18.04 but with error code -2. idris is installed at ~/.cabal/bin/idris and runs fine in the terminal

EDIT if I put idris on the PATH via ~/.profile, I can then just use the default of idris as the location. Didn't fix the original problem but things are working now at least.

Thanks for the atom plugin