Hey,
I would be totally nice when tools.unzip would support a file filter. At the moment i've download some zips and need on a part of it, this would speedup things a lot. I've looked into the actual code of unzip and it should not be that hard to support that.
What do you think about such feature?
Greetings
Tonka
tonka3000
All 3 comments
Hi! @tonka3000, thanks for your suggestion.
It should not be hard to implement although I think it may not be heavily used.
We could keep this open to see if we get some valunteers to contribute! 馃槈
danimtb
on 25 May 2018
I solved this. As mentioned in the CONTRIBUTING.md file, I will update the documentation in the other repo before creating the pull request.
MathPlayer
on 17 Jun 2018
❤1
👍1
Will be released in 1.5
memsharded
on 18 Jun 2018
👍1
Was this page helpful?
0 / 5 - 0 ratings
Related issues
uilianries
路
3Comments
liberforce
路
3Comments
bobeff
路
3Comments
Adnn
路
3Comments
petermbauer
路
3Comments
Most helpful comment
I solved this. As mentioned in the
CONTRIBUTING.mdfile, I will update the documentation in the other repo before creating the pull request.