[issue17507] To add history time format in readline

Martin Panter added the comment: Is this related to Readline’s history_write_timestamps() feature, or is this a request for Python to make a custom history file? -- components: +Extension Modules -Library (Lib) nosy: +martin.panter ___ Python tracker

[issue17507] To add history time format in readline

Zulu added the comment: I unfortunatly can't write in C. -- ___ Python tracker ___ ___ Python-bugs-list mailing list Unsubscribe: htt

[issue17507] To add history time format in readline

Ezio Melotti added the comment: Would you like to propose a patch? You can find information about how to do it in the devguide. -- components: +Library (Lib) -Build nosy: +ezio.melotti stage: -> needs patch versions: -Python 2.6, Python 2.7, Python 3.1, Python 3.2, Python 3.3, Python

[issue17507] To add history time format in readline

New submission from Zulu: 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 ''. -- components: Build messages: