[feature] Allow passing extra options to `idris2` executable from `pack` command line

stefan-hoeck / idris2-pack

BSD 3-Clause "New" or "Revised" License

90 stars 23 forks source link

[feature] Allow passing extra options to `idris2` executable from `pack` command line #269

Closed 0xd34df00d closed 7 months ago

0xd34df00d commented 7 months ago

It'd be great if pack supported passing extra command line arguments to idris2 from command line, so that it could be used like, say,

pack --rlwrap --extra-opts "--timing 10" repl SomeModule.idr

I'm deliberately focusing on command-line options as opposed to any extra fields in pack.toml, since the use case I have in mind is some one-off options that just don't deserve editing any extra files.

stefan-hoeck commented 7 months ago

Yes, we definitely need this! PRs are welcome, as I'm currently very busy with teaching. But maybe I'll find some time over the weekend.