ndmitchell / ghcid

Very low feature GHCi based IDE
Other
1.13k stars 114 forks source link

VS Code - ghcid plugin fails to start ghcid terminal #272

Closed andrew-ni closed 5 years ago

andrew-ni commented 5 years ago

When I press the command associated with extension.startGhcid, the ghcid terminal tries to open, but fails with this error notification: The terminal shell path "ghcid" does not exist

Am I doing something wrong here?

ghcid version:

Auto reloading GHCi daemon v0.7.5

VS Code info:

Version: 1.37.0
Commit: 036a6b1d3ac84e5ca96a17a44e63a87971f8fcc8
Date: 2019-08-08T01:22:37.660Z
Electron: 4.2.7
Chrome: 69.0.3497.128
Node.js: 10.11.0
V8: 6.9.427.31-electron.0
OS: Darwin x64 17.7.0
ndmitchell commented 5 years ago

Does it work if you run ghcid in a VS Code terminal? Just start a default terminal in VS Code (View menu, Terminal) and type in ghcid. That's effectively what the extension does.

ndmitchell commented 5 years ago

@andrew-ni did you figure out what the issue was? Anything that could be done to make it easier, or fix the issue?