Martin v. Löwis added the comment:
You are mistaken: there *is* a character set specification for file names in
zip files, see
http://www.pkware.com/documents/casestudies/APPNOTE.TXT
Appendix D says
"The ZIP format has historically supported only the original IBM PC character
encoding set, c
New submission from monson:
In /cpython/Lib/zipfile.py, there are some codes like
if flags & 0x800:
# UTF-8 file names extension
filename = filename.decode('utf-8')
else:
# Historical ZIP filename encoding
fi
