Aiken language server, couldn't create a connection to server. about vscode-aiken

[golddydev]

Is there any progress in this issue? I'm using a mac and encountered the same problem.

I think this is caused by reading $PATH from process.env in the extension.

I installed aiken in ~/.aiken/bin folder, but $PATH variables read by the extension was always "/usr/bin:/bin:/usr/sbin:/sbin", I can not mv aiken into these folders(mac's restrictions), and didn't find a way to modify $PATH variables for vscode progress.

Well, you can open vscode using terminal.
In your project directory.

code .

This will fix the issue.
I think it is related to VScode.

[rvcas]

which operating system are you on?

[golddydev]

I am on ubuntu 22.04

[rvcas]

On Linux people have had issues with VSCode not having aiken in it's path

[golddydev]

On Linux people have had issues with VSCode not having aiken in it's path

So you mean, it is not with aiken extension but the fault is with the linux vs code.
Right?
Then how to fix this?

[cauu]

Is there any progress in this issue? I'm using a mac and encountered the same problem.

I think this is caused by reading $PATH from process.env in the extension.

I installed aiken in ~/.aiken/bin folder, but $PATH variables read by the extension was always "/usr/bin:/bin:/usr/sbin:/sbin", I can not mv aiken into these folders(mac's restrictions), and didn't find a way to modify $PATH variables for vscode progress.

[cauu]

Is there any progress in this issue? I'm using a mac and encountered the same problem.
I think this is caused by reading $PATH from process.env in the extension.
I installed aiken in ~/.aiken/bin folder, but $PATH variables read by the extension was always "/usr/bin:/bin:/usr/sbin:/sbin", I can not mv aiken into these folders(mac's restrictions), and didn't find a way to modify $PATH variables for vscode progress.

Well, you can open vscode using terminal. In your project directory.

code .
This will fix the issue. I think it is related to VScode.

Thanks, it works!

It seems the environment variables are different between starting from cli and gui, I think a better solution would be allowing user manually setting path to aiken binary file in the extension's configuration @rvcas