search

tricktron / frege-vscode

VSCode LSP Client for Frege
MIT License
1 stars 0 forks source link

Frege Repl Command has Fragile Terminal Dependency #16

Open tricktron opened 2 years ago

tricktron commented 2 years ago

The Frege Repl command calls:

terminal.sendText(`java -cp $(./gradlew -q depsFrege --replSource=${path.basename(args)}) ${FREGE_REPL_MAIN_CLASS_NAME}`);

This only works with posix shells that support the $() syntax. E.g. fish shell won't work and powershell on windows won't work as well (not tested).

tricktron commented 2 years ago

The goal is to remove the Gradle dependency again. Instead we just expose a single path parameter that points to dependencies. These need to be manually configured by the user, e.g with the help of Gradle.