Blodwen compatibility

[justjoheinz]

Bowden should work with Atom. Current requirements:

• [ ] Make idris/bowden command configurable
• [ ] Add .blod as file extension to the grammar
• [ ] Remove unsupported command line parameters when invoking blowden (reg. tab-size)

[wurmli]

If Edwin doesn't change names: use "Blodwen" instead of "Bowden" and ".blod" as suffix instead of ".bowd", please.

[zenntenn]

What's "command configurable" mean in this context?

[justjoheinz]

i thought one could have another blodwen location configuration entry (Which the user can also enter) and blodwen is used when the file ending is blod and the idris command is used when the file ending is idr

Maybe an altogether different mechanism is required as well to choose the executable, or we ditch that both idris and blodwen can be used with the same atom plugin.

[zenntenn]

I tried forking this plugin and making it Blodwen only, and I ran into all sorts of problems with Atom seeming to get the two plugins confused. So I'm not sure which is easier.

[PhilAndrew]

I really hope someone can make it work with Idris 2.

[archaeron]

I can take a look at this after we've merged the typescript rewrite