I have a ZIP archive with many files, is there any way to export or extract a special file from the ZIP archive without unzip the whole archive?
For example, test.zip has a.txt & b.txt, how to extract a.txt only?
test.zip/
a.txt
b.txt
unzip has an option -x with which you can say which files you don't need
manpage of unzip tells this
Yes there is:
The argument after the filename is the file to be extracted. In case read: