search

banacorn / agda-mode-vscode

agda-mode on VS Code
https://marketplace.visualstudio.com/items?itemName=banacorn.agda-mode
MIT License
169 stars 39 forks source link

`command 'agda-mode.load' not found` with working Agda installation #97

Closed timvandam closed 2 years ago

timvandam commented 2 years ago

Hello, I am not able to get this extension working.

I am on Ubuntu, and have installed Agda numerous times through difference tools (apt, cabal, stack). All of these did not work.

I get the command 'agda-mode.load' not found message whenever I use Ctrl+C Ctrl+L

I am unsure what is causing this. It even happens when I specify the path to Agda in the preferences.

Would appreciate some debugging instructions

timvandam commented 2 years ago

Notably this issue is only happening on my laptop. On my PC it works just fine with an Agda APT installation

timvandam commented 2 years ago

Nevermind, it was a VSC issue and reinstalling fixed it