➜
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.
Created on 2013-03-21 09:59 by Zulu, last changed 2022-04-11 14:57 by admin.
| Messages (4) | |||
|---|---|---|---|
| msg184860 - (view) | Author: (Zulu) | Date: 2013-03-21 09:59 | |
I'm using readline library, and would like to add date information in "readline.write_history_file" method without override it. I think the best way is to add a argument for a strftime string. By default it should be simply ''. |
|||
| msg184861 - (view) | Author: Ezio Melotti (ezio.melotti) *  |
Date: 2013-03-21 10:14 | |
Would you like to propose a patch? You can find information about how to do it in the devguide. |
|||
| msg184863 - (view) | Author: (Zulu) | Date: 2013-03-21 10:21 | |
I unfortunatly can't write in C. |
|||
| msg268966 - (view) | Author: Martin Panter (martin.panter) * |
Date: 2016-06-21 04:26 | |
Is this related to Readline’s history_write_timestamps() feature, or is this a request for Python to make a custom history file? |
|||
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2022-04-11 14:57:43 | admin | set | github: 61709 |
| 2016-06-21 04:26:23 | martin.panter | set | nosy:
+ martin.panter messages: + msg268966 components: + Extension Modules, - Library (Lib) |
| 2013-03-21 10:21:10 | Zulu | set | messages: + msg184863 |
| 2013-03-21 10:14:52 | ezio.melotti | set | versions:
- Python 2.6, Python 3.1, Python 2.7, Python 3.2, Python 3.3, Python 3.5 nosy: + ezio.melotti messages: + msg184861 components: + Library (Lib), - Build stage: needs patch |
| 2013-03-21 09:59:43 | Zulu | create | |