search

anoma / vscode-juvix

VSCode extension for Juvix
https://marketplace.visualstudio.com/items?itemName=heliax.juvix-mode
GNU General Public License v3.0
3 stars 2 forks source link

The commands are not loaded if the Juvix files do not belong to a workspace #5

Closed jonaprieto closed 1 year ago

jonaprieto commented 2 years ago

This issue occurs when working in VSCode without any workspace open.

jonaprieto commented 1 year ago

Currently, VS Code requires at least one workspace folder open to create a task. This is a limitation of the API. A task must be made in well- defined scope (workspace list).

The Juvix extension currently creates tasks/commands to be used in any workspace. For now, the solution is to open the folder containing the Juvix project instead of only opening the file. Otherwise, it seems that only putting a .code-workspace file along the Juvix file does the magic.