I have many
zip archive files that I would like to re-pack into
7z archive format, as that would save me a lot of space. How do I batch-repack those files on a Windows 7 computer?
I tried doing this via GUI version of 7-zip archiver, but I didn't find a corresponding function. WinRar has a "Convert" functionality, but it doesn't archive into
I'm not asking exclusively for a solution involving Batch-file scripting.