If a zip file contains several zip files, but if the file names of the files needed are known, is there a variation of the unzip command that will allow those few (individual) files to be extracted?
---
Example:
Zip file name: zip.zip
unzip -l zip.zip will display file01, file02, file03, etc. up to file30.

Files that are needed are file01, file15, file16, file30.
---
Is there a way to extract only the needed files using the unzip command rather than having to resort to 'unzip zip.zip' or using WinZip?