Closed rnpnr closed 9 months ago
Ugh, sorry about that. I was working on this a couple weeks ago, then stopped, and I guess forgot that I wasn't finished when I came back to it.
I also realized I didn't add the .gz extension properly. It should be fixed now. Let me know if you encounter any other problems.
I sure this is what was meant. If section isn't specified then ext isn't removed but it is still added in the call to file() resulting in duplication.