search

purescript-contrib / governance

Guidelines and resources for the PureScript Contributors organization
15 stars 3 forks source link

Add ability to generate a single file #11

Closed thomashoneyman closed 4 years ago

thomashoneyman commented 4 years ago

Currently, running the generate tool will always write all files relevant for the version selected (base or uses-js). However, when we need to update just one or two files in a repository this is quite tedious. We should be able to specify a single file to update, or perhaps a comma-separated list of files to update, and only update those.

thomashoneyman commented 4 years ago

Not able to assign this to @gillchristian for some reason, but this issue is taken.

milesfrain commented 4 years ago

I believe you can only assign to non-org members if they made at least one comment on the issue.

gillchristian commented 4 years ago

I believe you can only assign to non-org members if they made at least one comment on the issue.

This should do 😅