Issue 563141: fileinput/gzip modules should play well (original) (raw)
Issue563141
This issue tracker has been migrated to GitHub, and is currently read-only.
For more information, see the GitHub FAQs in the Python's Developer Guide.
This issue has been migrated to GitHub: https://github.com/python/cpython/issues/36678
classification
| Title: | fileinput/gzip modules should play well | |
|---|---|---|
| Type: | enhancement | Stage: |
| Components: | Library (Lib) | Versions: |
process
| Status: | closed | Resolution: | accepted |
|---|---|---|---|
| Dependencies: | Superseder: | ||
| Assigned To: | Nosy List: | brett.cannon, georg.brandl, groggygreggy | |
| Priority: | normal | Keywords: |
Created on 2002-06-01 00:27 by groggygreggy, last changed 2022-04-10 16:05 by admin. This issue is now closed.
| Messages (4) | ||
|---|---|---|
| msg53552 - (view) | Author: Greg White (groggygreggy) | Date: 2002-06-01 00:27 |
| It seems to be nearly impossible to use the fileinput module to read gzip files, even though gzip support is available in the gzip module. As a first step, it would be nice if the fileinput.FileInput class provided an overridable method that let outsiders glue the gzip module in place. It would also be nice if there was a way to make fileinput just automatically support gzip files (if, for instance, it saw a .gz extension). | ||
| msg53553 - (view) | Author: Brett Cannon (brett.cannon) * ![]() |
Date: 2003-05-13 02:25 |
| Logged In: YES user_id=357491 The hook is reasonable, the automatic opening of gzip is not. No need to have magic done based purely on extension. Any chance you could write a patch to expose the hook? | ||
| msg53554 - (view) | Author: Georg Brandl (georg.brandl) * ![]() |
Date: 2005-06-05 14:52 |
| Logged In: YES user_id=1188172 See patch #1215184. | ||
| msg53555 - (view) | Author: Georg Brandl (georg.brandl) * ![]() |
Date: 2006-02-19 14:58 |
| Logged In: YES user_id=1188172 Accepted by committing patch #1215184. |
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2022-04-10 16:05:22 | admin | set | github: 36678 |
| 2002-06-01 00:27:50 | groggygreggy | create |
➜