Serhiy Storchaka added the comment:
Python is programming language, I don't understand what you mean saying
"available to nonprogrammers". As a programmer you can recode ZipInfo name
before outputting or what you want to do with it:
filename = filename.encode('cp437').decode(encoding)
In command line you can can use iconv or other converters:
python3 -m zipfile -l myzip.zip | iconv -t cp437 | iconv -f "$encoding"
This is not very handy, but works in most cases.
----------
_______________________________________
Python tracker <[email protected]>
<http://bugs.python.org/issue28080>
_______________________________________
_______________________________________________
Python-bugs-list mailing list
Unsubscribe:
https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
