80
I made a little tool to unzip archives in a sane way
(github.com)
Welcome to the main community in programming.dev! Feel free to post anything relating to programming here!
Cross posting is strongly encouraged in the instance. If you feel your post or another person's post makes sense in another community cross post into it.
Hope you enjoy the instance!
Rules
Follow the wormhole through a path of communities !webdev@programming.dev
Unzip tools should always do it in a new folder.
I can deal with home/ZipName/ZipName. I have no patience whatsoever for a program dumping randomly-dated files onto an existing directory.
Do the simplest thing that could possibly work.