Hi :) Version switching doesn't work for me, whatever I enter into the text field that comes up after C-x C-s only ever results in the default Agda version being selected.
More detail: I'm on Arch Linux with multiple Agda versions installed manually, following the instructions at https://agda.readthedocs.io/en/v2.6.2/getting-started/installation.html#installing-multiple-versions-of-agda.
My ~/.cabal/bin contains symlinks agda-2.6.1.3 and agda-2.6.2 linking to the correct binaries, as well as a default agda symlink that links to the 2.6.2 version.
I can't get the 2.6.1.3 version to run in vscode; entering "2.6.1.3" or "agda-2.6.1.3" doesn't work, and it seems like entering into the text prompt after C-x C-s always results in the message
Switched to '2.6.2'
Found '<anything_at_all>' at: /home/jayce/.cabal/bin/agda
Version changing works completely fine on emacs, though. Any pointers? Thanks!
banacorn
commented
2 years ago
Hi :) Version switching doesn't work for me, whatever I enter into the text field that comes up after
C-x C-sonly ever results in the default Agda version being selected.More detail: I'm on Arch Linux with multiple Agda versions installed manually, following the instructions at https://agda.readthedocs.io/en/v2.6.2/getting-started/installation.html#installing-multiple-versions-of-agda. My into the text prompt after
~/.cabal/bincontains symlinksagda-2.6.1.3andagda-2.6.2linking to the correct binaries, as well as a defaultagdasymlink that links to the 2.6.2 version. I can't get the 2.6.1.3 version to run in vscode; entering "2.6.1.3" or "agda-2.6.1.3" doesn't work, and it seems like enteringC-x C-salways results in the messageVersion changing works completely fine on emacs, though. Any pointers? Thanks!