Proposal: get rid of fallback boot parameters

[crcdng]

Fallback boot parameters defined in

vscode-tidalcycles/src/tidal.ts

Line 115 in da95f23

bootCommands: string[] = [

are silently applied when no path to BootTidal.hs is defined. This might appear convenient, however it can lead to hard to track errors as the boot parameter sets in this file and in BootTidal.hs almost certainly will continue to diverge.

This problem should be made explicit to the user.

As a solution, I suggest to remove the fallback parameters. The plugin would then require to enter the path to BootTidal.hs. If Tidal is installed before the plugin it can pre-populate the path.