Closed PeterDaveHello closed 2 months ago
Thank you sir. Need to merge this and 2 other docker prs.
Interesting, just took a look at another two PRs, looks like that's something I'm planning but haven't done yet, but somehow part of them is now overlapped. BTW, this tool is quite useful, another Docker related optimization is currently preparing, and should better wait for all these existing ones being merged first.
This will make the image much smaller!