search

stefan-hoeck / idris2-pack

BSD 3-Clause "New" or "Revised" License
90 stars 23 forks source link

[ feature ] Add the `extra-args` option #270

Closed 0xd34df00d closed 7 months ago

0xd34df00d commented 7 months ago

This addresses #269.

Also this is my first acquaintance with pack's code base, so please pardon me if I did something contrary to the repo/code customs!

stefan-hoeck commented 7 months ago

Is this ready to go? Sorry, haven't looked at it in detail yet, but @buzden is more familiar with command line arguments processing.

buzden commented 7 months ago

Yes, it looks well enough